Grégoire Henry e42cd1ccd6 Alpha: minor renaming		2018-03-14 12:12:49 +01:00
..
src	Alpha: minor renaming	2018-03-14 12:12:49 +01:00
test	Alpha: minor renaming	2018-03-14 12:12:49 +01:00
jbuild	Refactor: rename prota_alpha/lib_proto	2018-01-30 10:13:40 +01:00
tezos-embedded-protocol-alpha.opam	Opam: use jbuilder.1.0.0-beta18	2018-03-08 14:38:57 +01:00
tezos-protocol-alpha.opam	Opam: use jbuilder.1.0.0-beta18	2018-03-08 14:38:57 +01:00