100644 blob 1383243778ef3f79538cdb45211df729dd392ac3	.gitignore
100755 blob 824d29607437e153129c8f760a2b934ac343820b	configure
100755 blob be17018f459b06a879fe182234819783d956bac4	configure.ac
100755 blob 1bfadc11ab9af209ec3961463984ca6c02406f53	download.sh
100644 blob 0a544949c4fe6c3211afe9020e3365c3492190df	print_tools_make.pl
100644 blob 648b3dc2502af27eb977d35786563bda2ac18e7f	tools.txt