Jorge Aparicio d9deff7103 install toolchain in docker		2016-08-08 20:41:08 -05:00
..
env.sh	run in xenial (docker)	2016-08-08 20:37:04 -05:00
install.sh	install toolchain in docker	2016-08-08 20:41:08 -05:00
script.sh	install toolchain in docker	2016-08-08 20:41:08 -05:00