Merge pull request #60 from Zimmi48/gitignore

spitters · web-flow · commit 4b14b8654592 · 2018-07-23T09:40:56.000+02:00
Extend .gitignore.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,6 @@
 Makefile.bak
+Makefile.coq
+Makefile.coq.conf
 *.v.d
 *.vo
 *.glob
@@ -9,6 +11,7 @@ tmp.*
 coqidescript
 coqdoc
 *#
+*~
 *.ml
 *.cmi
 *.cmx
