X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatita.conf.xml.in;h=20e7cfc73e9092be42a920cf98fa5422f6ee35fe;hb=647b419e96770d90a82d7a9e5e8843566a9f93ee;hp=aeb8af025298496b2ee09be7c63b34da4a26696a;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/matita/matita.conf.xml.in b/matitaB/matita/matita.conf.xml.in
index aeb8af025..20e7cfc73 100644
--- a/matitaB/matita/matita.conf.xml.in
+++ b/matitaB/matita/matita.conf.xml.in
@@ -17,6 +17,8 @@
     <key name="basedir">$(user.home)/.matita</key>
     <!-- Where support files are installed -->
     <key name="rt_base_dir">@RT_BASE_DIR@</key>
+    <!-- Location of the svn repository of the shared library -->
+    <key name="weblib">svn+ssh://ricciott@mowgli.cs.unibo.it/local/svn/helm/trunk/weblib</key>
     <!-- Metadata owner. It will be used to create user-specific tables
     in the SQL database. -->
     <key name="owner">$(user.name)</key>