Ross Gardler wrote: > > I've not thought through the implications of this. I'm pretty sure that > moving tools out is a good idea (notice I suggest a tools subdirectory > when moving eclipse, that was for a reason ;-) feel free to rubbish the > idea though (or even agree with it ;-)
I don't yet see what we gain by doing this, other than people can checkout certain parts separately. -David
