diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..73bd09d --- /dev/null +++ b/.gitignore @@ -0,0 +1,19 @@ +*.aux +*.a +*.cma +*.cmi +*.cmo +*.cmx +*.cmxa +*.cmxs +*.glob +*.native +*.o +*.d +*.vio +*.vo +.coq-native + +.merlin +Makefile.coq +Makefile.coq.conf |