X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.conf.xml.in;h=5fdca30866b79cb6bd28050ce6c81ae3273df99c;hb=39293015293690528de4243d8cb86434f48b4b8c;hp=3d26301990c6ba29628c645c44bc19f4b5d1e231;hpb=83a8c54521f971aabd5a840a62426cfd00c9c60c;p=helm.git

diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index 3d2630199..5fdca3086 100644
--- a/helm/software/matita/matita.conf.xml.in
+++ b/helm/software/matita/matita.conf.xml.in
@@ -52,8 +52,7 @@
          note that user's tables are named diffrently from library tables,
 	 so they can coexists on the same db -->
 
-    <key name="metadata">@DBHOST@ matita helm none legacy</key>
-    <key name="metadata">@DBHOST@ public helm none library</key>
+    <key name="metadata">@DBHOST@ matita helm none library</key>
     <key name="metadata">@DBHOST@ matita helm none user</key>
 
     <!-- The following snippet it what you want to use a local sqlite db