arduino/Arduino — pull request #2260 by ffissore (2014-08-25 16:06:26+00:00)
Title: Automatically build pull requests

Introducing a script used by Jenkins' Github Pull Request Builder plugin to provide compiled/packaged versions of the java IDE including the proposed code changes.
/cc @cmaglie