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