100644 blob 09c354a5c09cd5f05feb24530c8ae6708091dbfc	.gitignore
100755 blob f43bf0ff78c06a7384b91e71c1e741739c9ef1fc	cleanit
100755 blob f894e41be88fc0320b7809231ba54faaa5c4058e	doit
100644 blob 0c4d051113e5abad85267819912bb90473c5d0da	env.bash
040000 tree fa119c3fb6db84519aac8930eb32c587aa69f439	patches
100644 blob cf6089352e885c9c2ec96813d1a568bb13cb65b4	toolvers