From f48e234036bfbd2efae741885c0050bae8b5f6df Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 09:39:24 +0000
Subject: [PATCH] matitaclean

---
 helm/matita/.cvsignore | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.39.2