]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4b873c) | patch
Added support for xml base(s) URL and URI. The getter now adds these two
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 May 2004 17:48:33 +0000 (17:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 17 May 2004 17:48:33 +0000 (17:48 +0000)
commitbd59745a232bff0e941e97170b88709d0ff6fdf2
treeb3cabd9313b69259dbda42bd58118f0437918ea3tree | snapshot
parente4b873cd8511753e65319d02fcdd5473214f42a5commit | diff
Added support for xml base(s) URL and URI. The getter now adds these two
attributes (hopefully) on the first open tag
helm/ocaml/getter/http_getter_cache.ml diff | blob | history
helm/ocaml/getter/http_getter_common.ml diff | blob | history
helm/ocaml/getter/http_getter_common.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.