Georges Dupéron 681fe53dd6 Merge repository tezos-modded		2019-05-27 11:57:15 +02:00
..
ligo-utils	Removed submodules, will merge them with main repo	2019-05-27 11:52:49 +02:00
opam-repository-tools	move before merging repositories (part 2)	2019-05-27 11:26:11 +02:00
tezos-modded	Removed submodules, will merge them with main repo	2019-05-27 11:52:49 +02:00
.gitignore	Rewrite local opam repository into a different folder and .gitignore it	2019-05-15 16:45:37 +02:00