Georges Dupéron e1597f7629 docker: point to new URL		2019-05-27 12:43:12 +02:00
..
Dockerfile	docker: point to new URL	2019-05-27 12:43:12 +02:00
installer.sh	Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker	2019-05-23 23:06:15 +02:00
ligo.sh	Add a Dockerfile, installer.sh and ligo.sh for easy ligo usage with Docker	2019-05-23 23:06:15 +02:00