]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b95baa1) | patch
prefix error messages with "[OCaml HTTP]"
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 21:38:44 +0000 (21:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 21:38:44 +0000 (21:38 +0000)
commit4f958180b81fa67b5afce966cad3415645e40bf2
treef608b6ff588965adae8fed957ad1686f3ec489d9tree | snapshot
parentb95baa1e1bf6333558efbced2b055264f7a79fedcommit | diff
prefix error messages with "[OCaml HTTP]"
helm/DEVEL/ocaml-http/http_common.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.