From 140aadd9e28e1f1ec245c9b4370dae72c377b226 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 13 Sep 2005 15:01:01 +0000 Subject: [PATCH] valid baseuri in template --- helm/matita/matita.ma.templ | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ index 3053fbd70..ec1bc8006 100644 --- a/helm/matita/matita.ma.templ +++ b/helm/matita/matita.ma.templ @@ -12,5 +12,5 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/#fill here#". +set "baseuri" "cic:/matita/test/". -- 2.39.2