A few .cvsignore here and there.

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

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

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

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

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