]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 10:21:17 +0000 (10:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 24 Feb 2004 10:21:17 +0000 (10:21 +0000)
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