]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a3d4e0) | patch
use ocaml-http instead of netclient for http GET requests
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:37:58 +0000 (17:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:37:58 +0000 (17:37 +0000)
commit1374bbf2975b043cd20666bea818528f5fcf8450
tree9cbbdbe0f6ededff0aba3ed99c1b6a8ad8c143f8tree | snapshot
parent3a3d4e0abefdbd3521fb265d6b4c1ea56229a710commit | diff
use ocaml-http instead of netclient for http GET requests
helm/ocaml/getter/Makefile diff | blob | history
helm/ocaml/getter/clientHTTP.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.