Ignore bytecode and other intermediate files
Sapan Bhatia [Fri, 12 Nov 2010 15:59:22 +0000 (10:59 -0500)]
.gitignore [new file with mode: 0644]

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..d2a2966
--- /dev/null
@@ -0,0 +1,8 @@
+*.cmo
+*.cmi
+*.b
+*.orig
+*.mli
+*lexer.ml
+*parser.ml
+.dep