A few .cvsignore here and there.

[helm.git] / helm / matita / library / higher_order_defs / .cvsignore

diff --git a/helm/matita/library/higher_order_defs/.cvsignore b/helm/matita/library/higher_order_defs/.cvsignore
new file mode 100644 (file)
index 0000000..fcd4d92
--- /dev/null
+++ b/helm/matita/library/higher_order_defs/.cvsignore
@@ -0,0 +1 @@
+*.moo