]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hxp/EXAMPLE.txt
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / hxp / EXAMPLE.txt
diff --git a/helm/hxp/EXAMPLE.txt b/helm/hxp/EXAMPLE.txt
deleted file mode 100644 (file)
index 83e02a5..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-On mowgli.cs.unibo.it this line outputs the names' list in a format suitable for
-Postgres. Each line of this list contains a uri and its short name separated by
-a tab character (as produced by pg_dump). see hxp --help for details. 
-
-hxp.opt -l /projects/helm/EXPORT/examples_mowgli/objects -r pg-names