]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/.cvsignore
ignore Makefile since now it's generated by configure
[helm.git] / helm / gTopLevel / .cvsignore
index 23def074f07c97cb287ded6a8c6079429b6a90bc..6e1f5ff43f244635a3fb2dc321f18b6eaa146ee5 100644 (file)
@@ -11,3 +11,4 @@ autom4te.cache
 config.log
 config.status
 configure
+Makefile