update gitignore

mirage · Jun 14, 2017 · b00098c · b00098c
1 parent 4efdbe2
commit b00098c
Showing 1 changed file with 1 addition and 17 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,19 +1,3 @@
-setup.data
-setup.log
-*.swp
 _build/
-dist/
-*.docdir
-*.byte
-*.native
-*.annot
-*.cmo
-*.cma
-*.cmi
-*.a
-*.o
-*.cmx
-*.cmxs
-*.cmxa
 .merlin
-*.install
+*.install