X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2F.cvsignore;h=6d473d47ad60fadd5acbea51f0ca82f925fc0166;hb=51d82e0a8a4d4ed86d2646edb2654e565ac34a82;hp=fcd4d925e2131208c747c3ee372849d9944dd749;hpb=624907fead9047f23557374788c5767b6289dd7c;p=helm.git diff --git a/helm/matita/tests/.cvsignore b/helm/matita/tests/.cvsignore index fcd4d925e..6d473d47a 100644 --- a/helm/matita/tests/.cvsignore +++ b/helm/matita/tests/.cvsignore @@ -1 +1,2 @@ +.depend *.moo