100644 blob 09c354a5c09cd5f05feb24530c8ae6708091dbfc	.gitignore
100644 blob 50bcb7d3df75faaff212f5db09e01d4d05a56f00	LICENSE
100755 blob c4eb9c9756597480a289dc832a4871eb81d20992	cleanit
100755 blob 0ed1f8bc1ee92063706f212a939f03e6c56cb50b	doit
100644 blob 0c4d051113e5abad85267819912bb90473c5d0da	env.bash
040000 tree b41d6715ab006f2f588380ae60d499a3b0496afb	patches
100644 blob e48bf3c5906c0ff0c8248e1a5611cc1c33ccb7f2	toolvers
100755 blob 6cad08ab85d244bb7a4e8b5e0f2741c98e495c40	updatetoolvers