.gitignore

jaked · Apr 2, 2010 · 5966d3d · 5966d3d
1 parent 207e31a
commit 5966d3d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,7 @@
+doc
+stage
+_build
+*.byte
+myocamlbuild.ml
+!tools/myocamlbuild.ml
+Makefile.conf