added snapshot of the coq exportation metadata

[helm.git] / metadata / dumps / README

diff --git a/metadata/dumps/README b/metadata/dumps/README
new file mode 100644 (file)
index 0000000..e38d548
--- /dev/null
+++ b/metadata/dumps/README
@@ -0,0 +1,3 @@
+Dumps of the Matita database containing rows regarding the Coq exportation.
+
+Tue, 14 Feb 2006 13:36:16 -0500 zack