]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/etc/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / configuration / etc / .cvsignore
index 3f1216531f78f88d32aa4eaa606ba92bbbe145a5..c85a7bd9bf7b3e68adc73b87de9af7d17fa9a18d 100644 (file)
@@ -1 +1 @@
-helm-math-engine-configuration.xml
+helm-math-engine-configuration.xml configuration.xml