]> matita.cs.unibo.it Git - helm.git/commit
- removed http_get/http_get_iter implementations, use the analogous
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Apr 2004 16:58:00 +0000 (16:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Apr 2004 16:58:00 +0000 (16:58 +0000)
commit2f9a5abbd182b6ef3768c9137bb19afed2ee6bf2
tree644de27ffd11ebf75b4b4f68c3252f36e34c9e21
parent30c6239d0496ef9f66c29d9dd08f5bb043cdf925
- removed http_get/http_get_iter implementations, use the analogous
  functions from ocaml-http
helm/ocaml/getter/http_getter_misc.ml
helm/ocaml/getter/http_getter_misc.mli