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