Add gitignore

dannywillems · May 26, 2016 · fe25432 · fe25432
1 parent 1c9b8a6
commit fe25432
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,4 @@
+*.cma
+*.cmo
+*.cmi
+*.ml