]> matita.cs.unibo.it Git - helm.git/commitdiff
patched for *.cmx
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 12 Feb 2004 22:07:05 +0000 (22:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 12 Feb 2004 22:07:05 +0000 (22:07 +0000)
helm/ocaml/registry/.cvsignore

index fbe20a217eb1f2e58f22eeae7b08af504225a3ca..702419146101e74327791c5a7203b787e7525137 100644 (file)
@@ -4,3 +4,4 @@
 *.cmo
 *.cmxa
 *.o
+*.cmx