2 Commits

Author	SHA1	Message	Date
Georges Dupéron	b3b87543ba	Place the local copy of ligo in a -generated folder	2019-05-27 11:57:29 +02:00
Georges Dupéron	8821e6c01e	Rewrite local opam repository into a different folder and .gitignore it	2019-05-15 16:45:37 +02:00