From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 16 Jun 2005 08:06:35 +0000 (+0000)
Subject: matita.conf.xml added
X-Git-Tag: INDEXING_NO_PROOFS~137
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e0694299a43e5df6fcdf6348f48b3a2cda0b30b7;p=helm.git

matita.conf.xml added
---

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