]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b44a78) | patch
The PostgreSQL connection string has been moved to the Helm_registry
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:58:42 +0000 (17:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:58:42 +0000 (17:58 +0000)
commit8dd241c403a9994376c3e1e0df4b255a012e0e98
tree5582d4c6fb1753e43f978494d7d4318117f06149tree | snapshot
parent4b44a78aa345edfc569817176baa856c5522a87acommit | diff
The PostgreSQL connection string has been moved to the Helm_registry
(key mathql_interpreter.postgresql_connection_string).
helm/ocaml/mathql_interpreter/mQIConn.ml diff | blob | history
helm/ocaml/mathql_interpreter/mQIMap.ml diff | blob | history
helm/ocaml/mathql_interpreter/mQIMap.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.