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

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

..

src

Demo: remove unused variable

2018-06-06 10:54:33 +02:00

jbuild

Refactor: rename prota_alpha/lib_proto

2018-01-30 10:13:40 +01:00

tezos-embedded-protocol-demo.opam

Dune: upgrade to 1.0+beta20

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

tezos-protocol-demo.opam

Dune: upgrade to 1.0+beta20

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