]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / ocaml / cic / .cvsignore
index 6e857ea2a6b356f1b8597717c32200e84888f05b..fa6ba7b5b89f5faadd0584592a061b24bed77ef1 100644 (file)
@@ -1 +1,4 @@
-*.cm[iox]
+*.cm[iaox]
+*.cmxa
+test
+test.opt