Merge asynchronous interface branch
commit666f5817fd26d6228ff67ad611707a743b500852
authorygrek <ygrek@autistici.org>
Fri, 10 May 2013 11:04:26 +0000 (10 19:04 +0800)
committerygrek <ygrek@autistici.org>
Fri, 10 May 2013 11:05:34 +0000 (10 19:05 +0800)
tree9a5ef938f3fa8473b05c9bd1faa44ab6d053e497
parentc92f1dc2689902fe8ba9bc3f9424c7f7c86d9aa6
parenta993d380d392d1b60ae30665b53e8ecd7aaf7ea9
Merge asynchronous interface branch
curl-helper.c
curl.ml
curl.mli