From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 16 Apr 2002 11:09:56 +0000 (+0000)
Subject: ...
X-Git-Tag: V_0_3_0_debian_8~152
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=c6241821ee8246e8bad740d2da9d38e5114f9a8c

...
---

diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore
index 59d39c9af..e3d42f17b 100644
--- a/helm/gTopLevel/.cvsignore
+++ b/helm/gTopLevel/.cvsignore
@@ -1 +1 @@
-*.cm[iox] gTopLevel.opt
+*.cm[iox] gTopLevel gTopLevel.opt