]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 251eae7) | patch
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
tree4d17a69cd07b138b7a5265fe54eb13ab0ad68e38tree | snapshot
parent251eae74562c8baf816f169665b0e2ea9693daa3commit | diff
added support for HEAD requests
helm/DEVEL/ocaml-http/http_client.ml diff | blob | history
helm/DEVEL/ocaml-http/http_client.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.