1 Commits

Author	SHA1	Message	Date
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