Grégoire Henry 5fd5c1c5f7 Dune: upgrade to 1.0+beta20

2018-06-08 15:27:23 +00:00

..

clic.ml

Client: add global option --wait

2018-05-28 17:09:03 +02:00

clic.mli

Client: add global option --wait

2018-05-28 17:09:03 +02:00

jbuild

Jbuilder: fix the target @runtest_indent

2018-05-26 20:08:03 +02:00

tezos-clic.opam

Dune: upgrade to 1.0+beta20

2018-06-08 15:27:23 +00:00