Georges Dupéron b3b87543ba Place the local copy of ligo in a -generated folder		2019-05-27 11:57:29 +02:00
..
rewrite-local-opam-repository.sh	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00
update.sh	move before merging repositories (part 1)	2019-05-27 10:53:14 +02:00