]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d6a6425)
matita.conf.xml added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Jun 2005 08:06:35 +0000 (08:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 16 Jun 2005 08:06:35 +0000 (08:06 +0000)
helm/matita/.cvsignore patch | blob | history

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 004b4c5b878619ce7c0ed9d3fd4af0209fa6d3e2..6c4ea96d1c5f2f9d472eeefa1f666c5cae7e64b4 100644 (file)
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -1,3 +1,4 @@
+matita.conf.xml
 *.a
 *.annot
 autom4te.cache
Unnamed repository; edit this file 'description' to name the repository.