Add a gitignore file for build artifacts (#10)

xavierleroy · Jan 14, 2018 · c516bba · c516bba
1 parent 140d0cb
commit c516bba
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,9 @@
+*.a
+*.cma
+*.cmi
+*.cmo
+*.o
+*.so
+
+test/minigzip
+test/minizip