diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 22 |
1 files changed, 19 insertions, 3 deletions
@@ -1,3 +1,19 @@ -doc -html -.pc +*.aux +*.a +*.cma +*.cmi +*.cmo +*.cmx +*.cmxa +*.cmxs +*.glob +*.native +*.o +*.d +*.vio +*.vo +.coq-native + +.merlin +Makefile.coq +Makefile.coq.conf |