You've already forked library-registry
mirror of
https://github.com/arduino/library-registry.git
synced 2025-11-26 02:43:41 +03:00
bc5790a267
The library somehow made it into the registry under the duplicate name "PID". Fortunately, the name has since been changed to the unique "ArcPID", allowing the two libraries to coexist in the index once the registry entry is updated: https://github.com/ettoreleandrotognoli/ArcPID/blob/0.0.3/library.properties#L1
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