From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 14:33:39 +0000 (+0000)
Subject: matitaclean.opt, matitadep.opt
X-Git-Tag: PRE_GETTER_STORAGE~61
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a366e5398deeb0659978a4d8ae647cbb6b0a2c36;p=helm.git

matitaclean.opt, matitadep.opt
---

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