1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-24 13:52:14 +01:00
Federico Fissore 5933a7e8d3 Changing order of boards in boards menu: built-in first, boards manager second,
sketchbook hardware folder third. Each group if sorted by alpha, case
insensitive. Fixes #2650
2015-05-29 14:22:45 +02:00
..