100644 blob 09c354a5c09cd5f05feb24530c8ae6708091dbfc	.gitignore
100755 blob 140f2f2bfec3016255bf8d01e249bfeae7b59160	cleanit
100755 blob b16bb6a7d383c7078a6dba959537eed71249867b	doit
100644 blob 7837b2c8e84801be7d5739c097310e4a7493390a	env.bash
040000 tree fa119c3fb6db84519aac8930eb32c587aa69f439	patches
100644 blob cf6089352e885c9c2ec96813d1a568bb13cb65b4	toolvers