mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-21 10:52:14 +01:00
6c1100f9ec
When just one platform is installed, it does not make much sense to use a submenu, so just add the boards directly under the boards menu as before.