On Saturday 17 March 2012 19:46:02 Luka Perkov wrote:

I'm willing to write a patch for boards.cfg that would not mix spaces and tabs in this file. What is the prefered way - spaces or tabs?

the board entries should use spaces only -mike