arduino/Arduino — pull request #2253 by cmaglie (2014-08-22 13:53:36+00:00)
Title: More command line improvements (take 2)

See #2000 for details.