100644 blob 1383243778ef3f79538cdb45211df729dd392ac3	.gitignore
100755 blob 80d66e5f995e77136c441e407961c0318528dc90	configure
100755 blob a4f07d247eaf1ebc128470e318c517b8c3611cca	configure.ac
100755 blob a4188d93c4b7da09b3bb6c0f9a2b4c07b7337f9a	download.sh
100644 blob 0a544949c4fe6c3211afe9020e3365c3492190df	print_tools_make.pl
100644 blob 648b3dc2502af27eb977d35786563bda2ac18e7f	tools.txt