1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-21 15:54:39 +01:00
Cristian Maglie d4fe0a13b6 Merge branch 'ide-1.5.x' into dev-ide-1.5.x-discovery
Conflicts:
	build/shared/revisions.txt
2013-09-10 12:10:57 +02:00
..
2013-04-03 13:51:04 +02:00
2013-05-11 14:37:25 +02:00
2012-12-17 16:53:45 +01:00
2012-12-17 16:53:45 +01:00
2013-05-11 14:37:25 +02:00
2013-05-29 18:30:36 +02:00
2013-05-29 18:30:36 +02:00
2013-04-03 13:51:04 +02:00