Grégoire Henry
|
87e0de9826
|
Dune: use the new syntax
|
2018-08-01 10:52:24 +02:00 |
|
Grégoire Henry
|
5362b321d9
|
Dune: rename s/jbuild/dune/
|
2018-08-01 10:32:12 +02:00 |
|
Pierre Boutillier
|
140bd6b1ca
|
Tezos is now Open Source
|
2018-06-30 17:41:32 +02:00 |
|
Raphaël Proust
|
103d5355f2
|
Everywhere: return_unit
|
2018-06-27 10:57:21 +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 |
|