Federico Fissore 6dccf5e354 Merge remote-tracking branch 'arduino/ide-1.5.x' into ide-1.5.x-discovery		2013-06-25 16:13:56 +02:00
..
arduino	Merge remote-tracking branch 'arduino/ide-1.5.x' into ide-1.5.x-discovery	2013-06-25 16:13:56 +02:00
robot	String: changed default to 2 decimal digits	2013-06-21 21:23:12 +02:00