X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2F.cvsignore;h=4671378aefcc07e20983c740764f954dfacba778;hb=975e536db4920307acb78de083621491f0566de1;hp=6d473d47ad60fadd5acbea51f0ca82f925fc0166;hpb=42ea41ccedeb9f66ff2f591a774054608ece6eac;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