From e0694299a43e5df6fcdf6348f48b3a2cda0b30b7 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 16 Jun 2005 08:06:35 +0000
Subject: [PATCH] matita.conf.xml added

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

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 004b4c5b8..6c4ea96d1 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -1,3 +1,4 @@
+matita.conf.xml
 *.a
 *.annot
 autom4te.cache
-- 
2.39.2