]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c529f7) | patch
- added exceptions Invalid_header_{name,value}
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 17:27:10 +0000 (17:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 6 Dec 2002 17:27:10 +0000 (17:27 +0000)
commitb135ff929bdf58c2e076a6462ab03e6ed1067654
treeb91d9d307f0d00b6a88ef915f4522f8668055245tree | snapshot
parent8c529f71e51025d3e827475f9e224bd0e07190ebcommit | diff
- added exceptions Invalid_header_{name,value}
- added class types connection and daemon
helm/DEVEL/ocaml-http/http_types.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.