]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/.cvsignore
patched for *.cmx
[helm.git] / helm / ocaml / registry / .cvsignore
index fbe20a217eb1f2e58f22eeae7b08af504225a3ca..702419146101e74327791c5a7203b787e7525137 100644 (file)
@@ -4,3 +4,4 @@
 *.cmo
 *.cmxa
 *.o
+*.cmx