3 Commits

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