From: marangon <??>
Date: Thu, 15 Dec 2005 15:47:09 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~7993
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b92a0ec32215eea5e0452154da54d5a29a84a53e;p=helm.git

...
---

diff --git a/helm/matita/tests/.cvsignore b/helm/matita/tests/.cvsignore
index 6d473d47a..4671378ae 100644
--- a/helm/matita/tests/.cvsignore
+++ b/helm/matita/tests/.cvsignore
@@ -1,2 +1 @@
 .depend
-*.moo
diff --git a/helm/matita/tests/bad_tests/.cvsignore b/helm/matita/tests/bad_tests/.cvsignore
new file mode 100644
index 000000000..4671378ae
--- /dev/null
+++ b/helm/matita/tests/bad_tests/.cvsignore
@@ -0,0 +1 @@
+.depend