Jorge Aparicio b409422782 32-bit version of libgcc		2016-08-09 15:55:25 -05:00
..
env.sh	use docker	2016-08-09 15:37:24 -05:00
install.sh	32-bit version of libgcc	2016-08-09 15:55:25 -05:00
script.sh	fix bash syntax	2016-08-09 12:04:24 -05:00