From cf3cc96408e4b16b29fd20c4144d51f5c3751ac2 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 16 Jun 2011 14:00:17 +0000
Subject: [PATCH] Added location of the weblib repository to
 matita.conf.xml.in.

---
 matitaB/matita/matita.conf.xml.in | 2 ++
 1 file changed, 2 insertions(+)

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>
-- 
2.39.2