Suzanne Dupéron 76fa4b0549 Revert "Make menhir less verbose, to see error messages in gitlab." ... This reverts commit b5f3ae76b049d4e712bd539b39d771191bc8978b.		2020-02-10 20:40:43 +01:00
..
ligo-utils	Initial LIGO interpreter version	2020-02-09 18:22:33 +01:00
Preproc	Revert "Make menhir less verbose, to see error messages in gitlab."	2020-02-10 20:40:43 +01:00
rope	Interface for Ocaml code	2019-10-07 14:18:32 +00:00
UnionFind	Removed vendors/UnionFind/UnionFind.install which is a generated file that was .gitignored but had been added by accident	2020-02-10 20:40:43 +01:00
.gitignore	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00