From: Stefano Zacchiroli Date: Tue, 17 Feb 2004 18:10:58 +0000 (+0000) Subject: removed (now useless) connection string line X-Git-Tag: v0_0_4~163 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c9c4dfae3c55aa7d7e684cae4266e85a448121dd;p=helm.git removed (now useless) connection string line --- diff --git a/helm/mathql_db_map.txt b/helm/mathql_db_map.txt index 33db1f0c8..60423248c 100644 --- a/helm/mathql_db_map.txt +++ b/helm/mathql_db_map.txt @@ -1,5 +1,3 @@ -dbname=mowgli user=helm - objectname source <+ objectname value <- objectName refobj <- refObj