From 39293015293690528de4243d8cb86434f48b4b8c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Jan 2008 16:13:49 +0000 Subject: [PATCH] I'll talk again with ferruccio, for the moment this is the right way to allow every user that does and svn co to compile everithing. --- helm/software/matita/matita.conf.xml.in | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in index 3d2630199..5fdca3086 100644 --- a/helm/software/matita/matita.conf.xml.in +++ b/helm/software/matita/matita.conf.xml.in @@ -52,8 +52,7 @@ note that user's tables are named diffrently from library tables, so they can coexists on the same db --> - @DBHOST@ matita helm none legacy - @DBHOST@ public helm none library + @DBHOST@ matita helm none library @DBHOST@ matita helm none user