]> matita.cs.unibo.it Git - helm.git/commit
removed (now useless) connection string line
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 18:10:58 +0000 (18:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 Feb 2004 18:10:58 +0000 (18:10 +0000)
commitc9c4dfae3c55aa7d7e684cae4266e85a448121dd
treee85f2724f4da76eccb5788e0a0609299efc7eeaf
parent556280604d6c161e486328629768f8ef83471012
removed (now useless) connection string line
helm/mathql_db_map.txt