added generic marshaller

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

diff --git a/helm/matita/tests/.cvsignore b/helm/matita/tests/.cvsignore
index fcd4d925e2131208c747c3ee372849d9944dd749..4671378aefcc07e20983c740764f954dfacba778 100644 (file)
--- a/helm/matita/tests/.cvsignore
+++ b/helm/matita/tests/.cvsignore
@@ -1 +1 @@
-*.moo
+.depend