1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-11 00:52:21 +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
..