]> 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: 34ba18b)
added config.dirs
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Apr 2003 09:13:53 +0000 (09:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 2 Apr 2003 09:13:53 +0000 (09:13 +0000)
helm/DEVEL/mathml_editor/src/.cvsignore patch | blob | history

diff --git a/helm/DEVEL/mathml_editor/src/.cvsignore b/helm/DEVEL/mathml_editor/src/.cvsignore
index 87f480ef5891bf6d9b4b74140c0a6b192a850d2a..332956c5ce3a5b376574ab71c4f1e926c6a47075 100644 (file)
--- a/helm/DEVEL/mathml_editor/src/.cvsignore
+++ b/helm/DEVEL/mathml_editor/src/.cvsignore
@@ -6,3 +6,4 @@
 .libs
 Makefile
 Makefile.in
+config.dirs
Unnamed repository; edit this file 'description' to name the repository.