]> matita.cs.unibo.it Git - helm.git/commit
ported to latest ocaml-http API
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 15:50:19 +0000 (15:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 15:50:19 +0000 (15:50 +0000)
commita8771431ad24c80592147be2de1e05999ff3ab4a
tree8d06bad6ed688a7dc95665f80b19e6b8e2311100
parent182a0ff69ba03372a61a840bac0ce588130398ea
ported to latest ocaml-http API
helm/ocaml/getter/http_getter_common.ml