On Thu, Nov 12, 2009 at 02:25:08PM +0100, Diego Biurrun wrote: > > In this particular case, however, I do wonder why we have differently > named .config files whose content is identical... Scratch that comment, I had weird local changes in my tree... Diego