arduino/Arduino — pull request #2328 by cmaglie (2014-09-26 17:55:26+00:00)
Title: [IDE 1.5.x] Command-line / GUI refactor.

This is a proposal for the rationalization of the Arduino IDE code.
More info coming.