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