]> matita.cs.unibo.it Git - helm.git/commit
- moved exceptions in http_types
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:35:22 +0000 (21:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:35:22 +0000 (21:35 +0000)
commit61043f7c05d18b32a2d1e1276bb9bc159e5add1e
treec49bf929e80516622348208bbfb37e875fc71264
parentdb0eab65e607d5f499a6f5455d7fcd4130d0b727
- moved exceptions in http_types
helm/DEVEL/ocaml-http/http_request.ml
helm/DEVEL/ocaml-http/http_request.mli