100644 blob 09c354a5c09cd5f05feb24530c8ae6708091dbfc	.gitignore
100755 blob f43bf0ff78c06a7384b91e71c1e741739c9ef1fc	cleanit
100755 blob 2cf51196ee6d45c55b9e987b8048ed73bf17b7ae	doit
100644 blob 0c4d051113e5abad85267819912bb90473c5d0da	env.bash
040000 tree fa119c3fb6db84519aac8930eb32c587aa69f439	patches
100644 blob dd5484618af448eec45867937eead9726fc64a15	toolvers
100755 blob 6cad08ab85d244bb7a4e8b5e0f2741c98e495c40	updatetoolvers