X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;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 -->
- @DBHOST@ matita helm none legacy
- @DBHOST@ public helm none library
+ @DBHOST@ matita helm none library
@DBHOST@ matita helm none user