100644 blob 09c354a5c09cd5f05feb24530c8ae6708091dbfc	.gitignore
100644 blob 50bcb7d3df75faaff212f5db09e01d4d05a56f00	LICENSE
100755 blob a1a6154d2d6705e7c6946f22f629324754d9119c	cleanit
100755 blob a053c0d6768496bf89062803b5a71719a679d291	doit
100644 blob 0c4d051113e5abad85267819912bb90473c5d0da	env.bash
040000 tree b41d6715ab006f2f588380ae60d499a3b0496afb	patches
100644 blob 282718460d6bb9a376672902eddb7dc0796b4d7a	toolvers
100755 blob 6cad08ab85d244bb7a4e8b5e0f2741c98e495c40	updatetoolvers