Add more generated files to .gitignore

cb23ae0d · Kim Nguyễn · 8852caa6 · cb23ae0d
Commit cb23ae0d authored Feb 13, 2015 by Kim Nguyễn
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 1 deletion

.gitignore .gitignore +5 -1

No files found.
--- a/.gitignore
+++ b/.gitignore
+configure.log
+cduce
 *.o
 *.cmo
 *.cdo
@@ -5,4 +7,6 @@
 *.cmi
 *.cmx
 *.cmxa
-*.a
\ No newline at end of file
+*.a
+Makefile.conf
+