]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ff23d9) | patch
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
tree98798cf71654e49d8dc85a09757e6d8ef280cc69tree | snapshot
parent2ff23d9306837c14c9d1a3b935a66bc71ffe87c3commit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.