]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a10717c) | patch
- use Pcre to perform sanity checks
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:45:54 +0000 (08:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:45:54 +0000 (08:45 +0000)
commit37f3d7291d4260eb0bc5e6e26afae557f324e587
tree28d5b48a0f8efe8fc697148c0592c51cf592a114tree | snapshot
parenta10717c87c921a5b0a3136bfdcb49746cb5080b0commit | diff
- use Pcre to perform sanity checks
- removed is_http* from interface, export only heal_header
helm/DEVEL/ocaml-http/http_parser.ml diff | blob | history
helm/DEVEL/ocaml-http/http_parser.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.