...

diff --git a/helm/matita/tests/.cvsignore b/helm/matita/tests/.cvsignore
index 6d473d47ad60fadd5acbea51f0ca82f925fc0166..4671378aefcc07e20983c740764f954dfacba778 100644 (file)
--- 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 (file)
index 0000000..4671378
--- /dev/null
+++ b/helm/matita/tests/bad_tests/.cvsignore
@@ -0,0 +1 @@
+.depend