]> matita.cs.unibo.it Git - helm.git/commit
added support for multiple dtd_base_urls
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 12:25:40 +0000 (12:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 15 Apr 2004 12:25:40 +0000 (12:25 +0000)
commitf0e7ce0a6e8c15f198fab4d567b884a8ef7f6b0b
tree74cbfd4646d0e9a148d01bedb8a9ae3993ec8679
parent552dbd63f202c8876605b62621c3e727d71e3963
added support for multiple dtd_base_urls
helm/ocaml/getter/http_getter_common.ml
helm/ocaml/getter/http_getter_env.ml
helm/ocaml/getter/http_getter_env.mli