]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/.cvsignore
Added new target libraries.ps (and .dep.dot).
[helm.git] / helm / ocaml / .cvsignore
index 42fae1139dc0e74835cafb0ea88fcd7d0843de07..bc349f4517294f3adf5522e7cd412b8f9854a1ab 100644 (file)
@@ -22,3 +22,5 @@ config.cache
 config.log
 config.status
 configure
+libraries.ps
+.dep.dot