mirror of
https://github.com/arduino/library-registry.git
synced 2025-05-19 08:13:41 +03:00
0c2685dbee
The registry data file must be manually edited when a library name change request is received. Each library must have a unique name, so it's important to verify that no duplicates are introduced through these edits.
Arduino Library Manager list
This branch contains the generated source file for the Arduino Library Manager index. If you want to add a library to the Arduino Library Manager index, please follow these instructions:
https://github.com/arduino/library-registry#adding-a-library-to-library-manager