]> matita.cs.unibo.it Git - helm.git/commit
added DBHOST & co ...
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 11:07:14 +0000 (11:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 11:07:14 +0000 (11:07 +0000)
commitfa9fe3e5f43f08287f8f10ed697e88952a75fb6d
tree15851b8614d24604bd8f5384103d3a9b741a0608
parent7ca56e8a1f819df077d544b890c49ae59fdf3aa7
added DBHOST & co ...
helm/configure.ac