From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 09:39:24 +0000 (+0000)
Subject: matitaclean
X-Git-Tag: PRE_GETTER_STORAGE~76
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=f48e234036bfbd2efae741885c0050bae8b5f6df;p=helm.git

matitaclean
---

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index f2145f033..c5f642b3c 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -28,5 +28,6 @@ matita.opt
 matita.opt
 matitatop
 matitadep
+matitaclean
 *.o
 *.swp