100644 blob 1383243778ef3f79538cdb45211df729dd392ac3	.gitignore
100755 blob ea1ebd6f9051bac62e5eae26f22ae8318a333e8f	configure
100755 blob 30c6caa85dd5c941677dea0d6abd9391baca2fcf	configure.ac
100755 blob a4188d93c4b7da09b3bb6c0f9a2b4c07b7337f9a	download.sh
100644 blob 0a544949c4fe6c3211afe9020e3365c3492190df	print_tools_make.pl
100644 blob 648b3dc2502af27eb977d35786563bda2ac18e7f	tools.txt