jantje/arduino-eclipse-plugin — pull request #84 by wimjongman (2013-11-23 19:41:03+00:00)
Title: Adding additional "all" profile

see #76