X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_db_map.txt;h=60423248c828d8828f72b032264e2be4fafee5b5;hb=67460d22396d5fc3a5dffce07b2779e4b7960582;hp=33db1f0c8a4c39f6b0d9feb5be28c2bd22f4123e;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git 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