]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_db_map.txt
removed (now useless) connection string line
[helm.git] / helm / mathql_db_map.txt
index 33db1f0c8a4c39f6b0d9feb5be28c2bd22f4123e..60423248c828d8828f72b032264e2be4fafee5b5 100644 (file)
@@ -1,5 +1,3 @@
-dbname=mowgli user=helm
-
 objectname  source       <+ 
 objectname  value        <- objectName 
 refobj                   <- refObj