way to allow every user that does and svn co to compile everithing.
note that user's tables are named diffrently from library tables,
so they can coexists on the same db -->
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
<key name="metadata">@DBHOST@ matita helm none user</key>
<!-- The following snippet it what you want to use a local sqlite db