Georges Dupéron 2b5b23f266 WIP: fixing the build errors + missing non-merged code		2019-09-29 18:25:02 -04:00
..
ligo-utils	WIP: fixing the build errors + missing non-merged code	2019-09-29 18:25:02 -04:00
opam-repository-tools	typo	2019-06-10 10:23:18 +02:00
rope	moving stuff around	2019-09-08 12:17:24 +02:00
.gitignore	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00