5 Commits

Author	SHA1	Message	Date
Matej Sima	5feba725cb	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00
Georges Dupéron	80c693a5af	Docker: don't clone ligo twice	2019-05-27 13:46:49 +02:00
Georges Dupéron	68e2fdd451	Deocker: launch the rewrite-repo script	2019-05-27 13:18:24 +02:00
Georges Dupéron	e1597f7629	docker: point to new URL	2019-05-27 12:43:12 +02:00
Matej Sima	c9703bdceb	Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker	2019-05-23 23:06:15 +02:00