1
0
mirror of https://github.com/arduino/library-registry.git synced 2025-11-05 10:50:36 +03:00

Merge pull request #7017 from per1234/rename-PedroRobot

Update name of "PedroRobot"
This commit is contained in:
MatteoPologruto
2025-10-17 08:37:22 -07:00
committed by GitHub

View File

@@ -8434,7 +8434,7 @@ https://github.com/mathieucarbou/MycilaDimmer.git|Contributed|MycilaDimmer
https://github.com/gvp-257/DietSerial.git|Contributed|DietSerial
https://github.com/dejwk/roo_blink.git|Contributed|roo_blink
https://github.com/Chanatip112/HanumanMini.git|Contributed|HanumanMini
https://github.com/almtzr/PedroRobot.git|Contributed|Pedro Robot
https://github.com/almtzr/PedroRobot.git|Contributed|PedroRobot
https://github.com/PubInv/SFM3X00.git|Contributed|SFM3X00
https://github.com/TEXHOUM/TEXHOUM_US.git|Contributed|TEXHOUM_US
https://github.com/TEXHOUM/TEXHOUM_MOTOR.git|Contributed|TEXHOUM_MOTOR