]> matita.cs.unibo.it Git - helm.git/commit
added Malformed_response exception
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:48:02 +0000 (16:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:48:02 +0000 (16:48 +0000)
commitd6a9268278d123d3d20b7833a3a83c8abed6bb02
tree709aee6699e3673176fe2b068fade41347b9181a
parent3a6f1747d3a6b445b9b8ba11a86e7a7e2b67be2f
added Malformed_response exception
helm/DEVEL/ocaml-http/http_types.ml