arduino/Arduino — pull request #1823 by ffissore (2014-01-24 12:40:35+00:00)
Title: Removing hardware folder contents: platforms are downloaded at build time

Platform github projects must be created once this pull req is merged