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

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

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