]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ccf0bc) | patch
renamed tcp_server module in http_tcp_server to avoid future
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 Nov 2002 16:19:07 +0000 (16:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 Nov 2002 16:19:07 +0000 (16:19 +0000)
commitdfc2157c1067b9958c182b25df103744cc8feb27
treecdeb011fa9f7600c37488d72916c0b009f9ff793tree | snapshot
parent9ccf0bcd417b78840b52662465a6aafa0819ad27commit | diff
renamed tcp_server module in http_tcp_server to avoid future
name clashes
helm/DEVEL/ocaml-http/.depend diff | blob | history
helm/DEVEL/ocaml-http/Makefile diff | blob | history
helm/DEVEL/ocaml-http/http_daemon.ml diff | blob | history
helm/DEVEL/ocaml-http/http_tcp_server.ml [new file with mode: 0644] blob
helm/DEVEL/ocaml-http/http_tcp_server.mli [new file with mode: 0644] blob
helm/DEVEL/ocaml-http/tcp_server.ml [deleted file] blob | history
helm/DEVEL/ocaml-http/tcp_server.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.