]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/.cvsignore
- Targets reorganized
[helm.git] / helm / metadata / .cvsignore
diff --git a/helm/metadata/.cvsignore b/helm/metadata/.cvsignore
new file mode 100644 (file)
index 0000000..2cde8a0
--- /dev/null
@@ -0,0 +1,6 @@
+all_objects.txt
+constants_and_variables.txt
+fill_db.sql
+inductive_types.txt
+log
+tmp