The following commit has been merged in the master branch:
commit 5df1b240121b3b17c8a2d1138ea3a8d522026850
Author: Stefano Zacchiroli <[EMAIL PROTECTED]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
