Pietro b89682e441 Build: Jbuilder -> Dune 1.0.1

2018-07-24 19:15:04 +02:00

..

client.ml

Resto: automatically retry a few times on 502 gateway errors

2018-07-06 23:28:33 +02:00

client.mli

Vendors/Resto: allow passing custom headers in requests

2018-06-21 18:03:14 +02:00

cors.ml

Tezos is now Open Source

2018-06-30 17:41:32 +02:00

cors.mli

Tezos is now Open Source

2018-06-30 17:41:32 +02:00

jbuild

Build: add -safe-string to more places

2017-12-12 11:42:18 +01:00

media_type.ml

RPC: introduce Resto_cohttp.Client and RPC_clients.

2017-12-11 17:53:49 +00:00

media_type.mli

RPC: introduce Resto_cohttp.Client and RPC_clients.

2017-12-11 17:53:49 +00:00

ocplib-resto-cohttp.opam

Build: Jbuilder -> Dune 1.0.1

2018-07-24 19:15:04 +02:00

server.ml

Tezos is now Open Source

2018-06-30 17:41:32 +02:00

server.mli

Resto: split Resto_cohttp.Server

2017-12-11 17:53:48 +00:00

utils.ml

Tezos is now Open Source

2018-06-30 17:41:32 +02:00

utils.mli

Tezos is now Open Source

2018-06-30 17:41:32 +02:00