]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbc6a4f) | patch
moved some constants from Http_daemon to Http_constants
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Apr 2003 14:25:22 +0000 (14:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Apr 2003 14:25:22 +0000 (14:25 +0000)
commita721e08341d8af740c50852ef617d615bcca28b9
tree8457b316ae90cf2e26cc05770c76abcd5a79159etree | snapshot
parentdbc6a4fb0236cfc7752c70e2e16f511b9e51b29ccommit | diff
moved some constants from Http_daemon to Http_constants
helm/DEVEL/ocaml-http/http_constants.ml diff | blob | history
helm/DEVEL/ocaml-http/http_constants.mli diff | blob | history
helm/DEVEL/ocaml-http/http_daemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.