matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 92a7595) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Sun, 1 Dec 2002 16:33:03 +0000 (16:33 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Sun, 1 Dec 2002 16:33:03 +0000 (16:33 +0000)
commit	c82a09fc52155246f8eaba28e9e6f32768505f76
tree	b7b659cbb2f1d0a86c055e423a5c81318500a8b1	tree \| snapshot
parent	92a759539fe5c5a8ab50adfaafd0250271223a91	commit \| diff

- split threaded and non threaded implementations

helm/DEVEL/ocaml-http/.depend		diff \| blob \| history
helm/DEVEL/ocaml-http/META.in		diff \| blob \| history
helm/DEVEL/ocaml-http/Makefile		diff \| blob \| history
helm/DEVEL/ocaml-http/Makefile.defs		diff \| blob \| history
helm/DEVEL/ocaml-http/debian/changelog		diff \| blob \| history
helm/DEVEL/ocaml-http/examples/Makefile		diff \| blob \| history
helm/DEVEL/ocaml-http/http_threaded_tcp_server.mli	[new file with mode: 0644]	blob
helm/DEVEL/ocaml-http/mt/http_threaded_tcp_server.ml	[new file with mode: 0644]	blob
helm/DEVEL/ocaml-http/non_mt/http_threaded_tcp_server.ml	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.