jantje/arduino-eclipse-plugin — pull request #112 by brodykenrick (2013-12-13 01:05:07+00:00)
Title: Rename launch_plugin script to build_then_launch

Change intenal naming in script to elsipseArduinoIDE (was changed from eclipse)
Minor updates on readme.md also