arduino-ide-plugin
There are 1 repositories under arduino-ide-plugin topic.
tobozo/Arduino-Hidden-Boards-Manager
Arduino Hidden Boards Manager ♾️ 🙈 is a tool to manage boards visibility in Arduino IDE 1.8.x and declutter the Tools/Board scrollable menu