mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01: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.