100644 blob 1383243778ef3f79538cdb45211df729dd392ac3	.gitignore
100755 blob 3d919add3af518b67e80c9c6840aed4bbdeaaae4	configure
100755 blob f5d43e8533ee04d69e249437c518739147282ee7	configure.ac
100755 blob a4188d93c4b7da09b3bb6c0f9a2b4c07b7337f9a	download.sh
100644 blob 0a544949c4fe6c3211afe9020e3365c3492190df	print_tools_make.pl
100644 blob 648b3dc2502af27eb977d35786563bda2ac18e7f	tools.txt