From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 24 Feb 2004 10:21:17 +0000 (+0000)
Subject: ...
X-Git-Tag: v0_0_4~94
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=27b33baeed158a7e3247bef2394217eb376931be;p=helm.git

...
---

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
index 89abd8c99..4c1a00d01 100644
--- a/helm/ocaml/.cvsignore
+++ b/helm/ocaml/.cvsignore
@@ -6,4 +6,6 @@ config.log
 config.status
 configure
 libraries.ps
+libraries-complete.ps
 .dep.dot
+.alldep.dot