-
- <!-- this snippet is what is used by the helm team, everything on mowgli.
- note that user's tables are named diffrently from library tables, so that
- they can coexists on the same db -->
- <key name="metadata">@DBHOST@ matita helm none library</key>
+
+ <!-- The following snippet is used by the helm team
+ 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>