From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 2 Apr 2003 09:13:53 +0000 (+0000)
Subject: added config.dirs
X-Git-Tag: before_refactoring~68
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c7a6eb681015fcf125467fd0fe74482d46f2a892;p=helm.git

added config.dirs
---

diff --git a/helm/DEVEL/mathml_editor/src/.cvsignore b/helm/DEVEL/mathml_editor/src/.cvsignore
index 87f480ef5..332956c5c 100644
--- a/helm/DEVEL/mathml_editor/src/.cvsignore
+++ b/helm/DEVEL/mathml_editor/src/.cvsignore
@@ -6,3 +6,4 @@
 .libs
 Makefile
 Makefile.in
+config.dirs