mirror of
https://github.com/arduino/Arduino.git
synced 2025-04-03 20:25:18 +02:00
The core libraries may come from platforms installed inside the "sketchbook/hardware" directory. Those platforms are not indexed and doesn't have a category field to propagate in the core-libraries.