]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / ocaml / .cvsignore
index 89abd8c992e2d2afa177b70e35ff2ee38d8bfe02..4c1a00d01ada5c1fcfb07b479e5b88036ab1dd59 100644 (file)
@@ -6,4 +6,6 @@ config.log
 config.status
 configure
 libraries.ps
+libraries-complete.ps
 .dep.dot
+.alldep.dot