You've already forked library-registry
mirror of
https://github.com/arduino/library-registry.git
synced 2025-11-06 22:09:30 +03:00
Update name of "PedroRobot"
Corrected the name format for Pedro Robot entry.
This commit is contained in: