100644 blob 1383243778ef3f79538cdb45211df729dd392ac3	.gitignore
100755 blob 63178f21e3e2a10a27a625a0a6b338a9dade4fc2	configure
100755 blob 3dbc09ac7831bfe22a47a32109cc05348e4dbbd6	configure.ac
100755 blob 1bfadc11ab9af209ec3961463984ca6c02406f53	download.sh
100644 blob 0a544949c4fe6c3211afe9020e3365c3492190df	print_tools_make.pl
100644 blob 648b3dc2502af27eb977d35786563bda2ac18e7f	tools.txt