3 Commits

Author	SHA1	Message	Date
Pierre Boutillier	140bd6b1ca	Tezos is now Open Source	2018-06-30 17:41:32 +02:00
Grégoire Henry	0d8990887c	Jbuilder: fix the target @runtest_indent	2018-05-26 20:08:03 +02:00
Grégoire Henry	697b291782	Merge `tezos-protocol-environment-{sigs,client}	2018-02-18 17:11:16 +00:00