...

[helm.git] / helm / matita / tests / .cvsignore

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