]> matita.cs.unibo.it Git - helm.git/commit
database connection parameters updated
authorlordi <??>
Wed, 19 Jun 2002 13:22:03 +0000 (13:22 +0000)
committerlordi <??>
Wed, 19 Jun 2002 13:22:03 +0000 (13:22 +0000)
commit1372c46df7b4acc8073852a276eb63a6c6c7fea5
tree688eee0a81af778e9e3e54cbc330871a28c5a811
parentb6992cac4c9ffa80337e5e11e5017b0b9b17c65e
database connection parameters updated
helm/ocaml/mathql_interpreter/dbconn.ml