From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2017 18:09:36 +0000 (+0100) Subject: added .gitignore X-Git-Tag: make_still_working~385 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=93d49b4722d323a801b07f90eedc8fbe59c3917b;p=helm.git added .gitignore OCaml special files ignored --- diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000..c4ee3f2ad --- /dev/null +++ b/.gitignore @@ -0,0 +1,9 @@ +*.o +*.a +*.cmi +*.cmo +*.cma +*.cmx +*.cmxa +.depend +.depend.opt