]> matita.cs.unibo.it Git - helm.git/commit
Added ".db" suffix to urls_of_uris default value.
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Nov 2001 13:41:43 +0000 (13:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Nov 2001 13:41:43 +0000 (13:41 +0000)
commite274c41f35f93f700b48198ee2dc9a3eb38520c4
tree2edfbdc636bec9cf84408b58931f696580a7a76a
parent828d541b8ffcd78fafe2b65d4e9092a319e83d3a
Added ".db" suffix to urls_of_uris default value.
helm/configuration/configure.in