]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/.cvsignore
autoconfiguration improved (?)
[helm.git] / helm / configuration / .cvsignore
index cbb473e0b43d3c2f2a49d4284096e5f6c6300eb8..1923d231960effee7b2fe131a75a088554916a24 100644 (file)
@@ -1 +1,2 @@
 Makefile configure config.log config.cache config.status
+helm-config