100644 blob 498178332f2ef96c63cdc685c5390c0120245a21	.gitignore
100644 blob 50bcb7d3df75faaff212f5db09e01d4d05a56f00	LICENSE
100755 blob 32f9ce766bdcff59a4208d1dd1a5e81cb903cf2c	cleanit
100755 blob b9c66149c7685026e7e2ed12b348b9a46d1b847f	do-build
100755 blob 8c8fe61b75d600805955a976c66041e01bfdeaa2	doit
100644 blob 0c4d051113e5abad85267819912bb90473c5d0da	env.bash
040000 tree 99ea192023bfbeb3b1befbdc80a3c34abadb96cc	patches
100644 blob e491d52ab969e1b679ab07da8a20283fd2bed3c4	toolvers
100755 blob f899e6b95283b09b0b057c94e2848be807a0e97f	updatetoolvers