Benjamin Canou cecd042daa Move Michelson specification to /docs		2017-12-04 19:15:26 +01:00
..
src	Jbuilder: Move alpha/genesis/demo in their own two OPAM packages	2017-12-04 16:05:54 +01:00
jbuild	Jbuilder: Move alpha/genesis/demo in their own two OPAM packages	2017-12-04 16:05:54 +01:00
tezos-embedded-protocol-alpha.opam	Jbuilder: Move alpha/genesis/demo in their own two OPAM packages	2017-12-04 16:05:54 +01:00
tezos-protocol-alpha.opam	Jbuilder: Move alpha/genesis/demo in their own two OPAM packages	2017-12-04 16:05:54 +01:00