]> matita.cs.unibo.it Git - helm.git/commit
reimplemented http GET/POST functions grabbing functions from
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:08:43 +0000 (09:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:08:43 +0000 (09:08 +0000)
commita0c78ea80f7b8bd65fd3c77b43384493ba4da20b
tree9a78fee4db14753f6c6af6d037784355054d5ae1
parent3c22cac92d5cd8fc9926d0a7c32b058f9ab8d212
reimplemented http GET/POST functions grabbing functions from
zack's Http_client_smart module
helm/hbugs/common/hbugs_misc.ml
helm/hbugs/common/hbugs_misc.mli