From f9796ee9daea89f656ea26c1aba6091a9e226c4c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 12 Jul 2005 08:27:51 +0000
Subject: [PATCH] added matita.conf.xml.sample

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

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