]> matita.cs.unibo.it Git - helm.git/commit
added support for HEAD requests
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 15:44:01 +0000 (15:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 15:44:01 +0000 (15:44 +0000)
commit74a4b5a985f8ee0887e82fd74884204d4af149fc
tree4d17a69cd07b138b7a5265fe54eb13ab0ad68e38
parent251eae74562c8baf816f169665b0e2ea9693daa3
added support for HEAD requests
helm/DEVEL/ocaml-http/http_client.ml
helm/DEVEL/ocaml-http/http_client.mli