3 Commits

Author	SHA1	Message	Date
Georges Dupéron	2b4eaa29d1	Rewrite local opam repository into a different folder	2019-05-15 16:44:45 +02:00
Georges Dupéron	c794c61699	Don't rewrite the rewrite script itself, more robust script	2019-05-15 14:02:20 +02:00
Georges Dupéron	a6d8291dd2	Moved script to rewrite OPAM repository outside of the .gitlab-ci.yml in ligo repo	2019-05-14 18:04:46 +02:00