]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / configuration / .cvsignore
index cbb473e0b43d3c2f2a49d4284096e5f6c6300eb8..d8a7ecb4a808dcdd8633c4006db4fc11b8fe594f 100644 (file)
@@ -1 +1,3 @@
 Makefile configure config.log config.cache config.status
+helm-config
+helm_configuration.spec