From b92a0ec32215eea5e0452154da54d5a29a84a53e Mon Sep 17 00:00:00 2001
From: marangon <??>
Date: Thu, 15 Dec 2005 15:47:09 +0000
Subject: [PATCH] ...

---
 helm/matita/tests/.cvsignore           | 1 -
 helm/matita/tests/bad_tests/.cvsignore | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 helm/matita/tests/bad_tests/.cvsignore

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