]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2103d8) | patch
- hand made 'wget' function instead of Http_client.Convenience.blabla
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 14:08:58 +0000 (14:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 14:08:58 +0000 (14:08 +0000)
commit8c838424df850f6e139733b32c3e1680246a4184
tree977cbf3a1efc3a5bbfc34f6e6b593459fb097d89tree | snapshot
parente2103d86692f0782eca040d7fdf9c1080fa229fccommit | diff
- hand made 'wget' function instead of Http_client.Convenience.blabla
- use thread mode by default
helm/DEVEL/ocaml-http/examples/damned_recursion.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.