100644 blob 09c354a5c09cd5f05feb24530c8ae6708091dbfc	.gitignore
100755 blob f43bf0ff78c06a7384b91e71c1e741739c9ef1fc	cleanit
100755 blob a4918d6290a6a6f8229248efc9346b2b4e89f8d4	doit
100644 blob 7837b2c8e84801be7d5739c097310e4a7493390a	env.bash
040000 tree fa119c3fb6db84519aac8930eb32c587aa69f439	patches
100644 blob cf6089352e885c9c2ec96813d1a568bb13cb65b4	toolvers