]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/mathql_interpreter/dbconn.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6992ca) | patch
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
tree688eee0a81af778e9e3e54cbc330871a28c5a811tree | snapshot
parentb6992cac4c9ffa80337e5e11e5017b0b9b17c65ecommit | diff
database connection parameters updated
helm/ocaml/mathql_interpreter/dbconn.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.