5 Commits

Author	SHA1	Message	Date
Georges Dupéron	7f94d49243	update submodule	2019-05-14 20:19:23 +02:00
Georges Dupéron	bbf239dbe4	Update submodule	2019-05-14 20:12:39 +02:00
Georges Dupéron	aa61e86657	Updated ligo-opam-repository submodule.	2019-05-14 19:42:33 +02:00
Georges Dupéron	60f99b3e9c	Moved script to rewrite OPAM repository outside of the .gitlab-ci.yml in ligo repo	2019-05-14 18:05:47 +02:00
Georges Dupéron	c43570a82d	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00