Arthur B 21efb2dc9d Jbuilder: update to beta.19.1		2018-04-06 11:47:22 +02:00
..
src	Proto/Env: Replace configure_sandbox by proper init	2018-04-06 11:40:34 +02:00
jbuild	Refactor: rename prota_alpha/lib_proto	2018-01-30 10:13:40 +01:00
tezos-embedded-protocol-demo.opam	Jbuilder: update to beta.19.1	2018-04-06 11:47:22 +02:00
tezos-protocol-demo.opam	Jbuilder: update to beta.19.1	2018-04-06 11:47:22 +02:00