]> matita.cs.unibo.it Git - helm.git/commit
bug fix for IDA: uses remote names (i.e. http://..) when patching xml bases so that...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 5 Sep 2005 10:26:09 +0000 (10:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 5 Sep 2005 10:26:09 +0000 (10:26 +0000)
commit79722263df3193716bdbc37c35180c84e4027631
tree98798cf71654e49d8dc85a09757e6d8ef280cc69
parent2ff23d9306837c14c9d1a3b935a66bc71ffe87c3
bug fix for IDA: uses remote names (i.e. http://..) when patching xml bases so that external links like images gets valid URIs instead of invalid local ones like /tmp/...
helm/http_getter/main.ml