Update .gitignore for build files

mthurman · Oct 22, 2012 · 0fdd2f9 · 0fdd2f9
1 parent 68dbfca
commit 0fdd2f9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,8 @@
 *.cmx
 *.cmxs
 *.cmxa
+.vagrant
+src/_build
+src/setup.log
+src/setup.data
+src/main.ml