100644 blob 1383243778ef3f79538cdb45211df729dd392ac3	.gitignore
100755 blob a199e50311f2fa379583cce899321e4eccb29ca4	configure
100755 blob d153c38a0efc4b767ec80010985d6ecb2d5d4b55	configure.ac
100644 blob ec206a5e421b99245d28cde57d385f1a55421108	download.sh
100644 blob 0a544949c4fe6c3211afe9020e3365c3492190df	print_tools_make.pl
100644 blob 60e9fe04584ae5297a02b1d96ef5977fa79ac311	tools.txt