Georges Dupéron 148daa32a2 Merge remote-tracking branch 'origin/dev' into HEAD		2019-06-13 12:03:46 +02:00
..
ligo-utils	Merge branch 'feature/more-operators' into 'dev'	2019-06-12 20:34:16 +00:00
opam-repository-tools	typo	2019-06-10 10:23:18 +02:00
tezos-modded	Removed submodules, will merge them with main repo	2019-05-27 11:52:49 +02:00
.gitignore	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00