]> matita.cs.unibo.it Git - helm.git/commit
bugfix: remove trailing slashes from dtd_base_urls
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 May 2004 11:35:37 +0000 (11:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 May 2004 11:35:37 +0000 (11:35 +0000)
commit7c2045fe89bee49c3eaf04b92fd05e577174dcb9
treea83110c5d05a12ce6113f9fd80cb123574cfc980
parent978a25d9392e5fc1a19fa37c86339c5d0b67ddd6
bugfix: remove trailing slashes from dtd_base_urls
helm/ocaml/getter/http_getter_env.ml