eclipse-arduino-dev: Eclipse Arduino Development List

This lists is used to discuss topics regarding the development of the Eclipse Arduino IDE hosted at https://github.com/jantje/arduino-eclipse-plugin