]> matita.cs.unibo.it Git - helm.git/commit
- added GPL preamble
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Feb 2003 20:48:14 +0000 (20:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Feb 2003 20:48:14 +0000 (20:48 +0000)
commit629faa76cae2a1724a4dc7f9665f5d828e037c2e
treee43c178599424cdf18d297e24de50284188c85f4
parent86751d7b1e404034ac02244aad47f1bf29d9c46b
- added GPL preamble
- added some ocamldoc comments
helm/DEVEL/ocaml-http/http_threaded_tcp_server.mli