Pietro d9405292a4 Move all packages to src/ ... Modify Makefile accordingly		2018-01-16 23:11:39 +01:00
..
data_encoding.ml	Move all packages to src/	2018-01-16 23:11:39 +01:00
data_encoding.mli	Move all packages to src/	2018-01-16 23:11:39 +01:00
jbuild	Move all packages to src/	2018-01-16 23:11:39 +01:00
tezos-data-encoding.opam	Move all packages to src/	2018-01-16 23:11:39 +01:00