]> matita.cs.unibo.it Git - helm.git/commit
- case insensitive handling of header names
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 14:12:57 +0000 (14:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 14:12:57 +0000 (14:12 +0000)
commit6b6f542566b73236e1146dc1dba4ef7219d8ffe7
treec13c65e4688cee0a3a3425854f2a584e71ec8a21
parent1b40dfaab5c1d0b9c726b7606989b82aca7658d8
- case insensitive handling of header names
helm/DEVEL/ocaml-http/http_message.ml