[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. 7fed3623d29483b6d41c545f29ab58c7c09ca1b6

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 5df1b240121b3b17c8a2d1138ea3a8d522026850
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Apr 10 14:13:03 2008 +0200

    ignore some more generated stuff

diff --git a/.gitignore b/.gitignore
index ddf438c..0b4cbb1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@
 *.mld
 *.mlid
 *.o
+*.so
diff --git a/dose2-io/.gitignore b/dose2-io/.gitignore
new file mode 100644
index 0000000..c1104f3
--- /dev/null
+++ b/dose2-io/.gitignore
@@ -0,0 +1 @@
+lexer.ml
diff --git a/dql/.gitignore b/dql/.gitignore
new file mode 100644
index 0000000..eae86eb
--- /dev/null
+++ b/dql/.gitignore
@@ -0,0 +1,2 @@
+lexic.ml
+syntax.ml

-- 
dose2 packaging