Georges Dupéron b36f497f85 add odoc to Ci		2019-06-07 11:56:03 +02:00
..
build_docker_image.sh	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00
install_ligo_with_dependencies.sh	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00
install_native_dependencies.sh	add odoc to Ci	2019-06-07 11:56:03 +02:00
installer.sh	Update installer to handle master & dev scripts accordingly	2019-06-06 18:28:00 +02:00
ligo.sh	Add pulling of the docker image used by the CLI wrapper, nicer comments & messages	2019-05-27 18:10:25 +02:00
setup_ligo_opam_repository.sh	Refactor docker image structure & CI	2019-05-27 17:43:39 +02:00