From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 6 Jul 2005 12:47:51 +0000 (+0000)
Subject: fix
X-Git-Tag: V_0_7_1~63
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0da491e737259866d1b821590bd29b4f287305d9;p=helm.git

fix
---

diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ
index 0a57c97cd..157c010d1 100644
--- a/helm/matita/matita.ma.templ
+++ b/helm/matita/matita.ma.templ
@@ -12,5 +12,5 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/tests/<fill here>".
+set "baseuri" "cic:/matita/<fill here>".