From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 12 Jul 2005 08:27:51 +0000 (+0000)
Subject: added matita.conf.xml.sample
X-Git-Tag: pre_notation~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f9796ee9daea89f656ea26c1aba6091a9e226c4c;p=helm.git

added matita.conf.xml.sample
---

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 8f2ed8118..a2cc123c3 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -35,3 +35,4 @@ matitaclean.opt
 *.swp
 matita.conf.xml
 *.moo
+matita.conf.xml.sample