search

maxgerhardt / platform-raspberrypi

Raspberry Pi: development platform for PlatformIO
Apache License 2.0
94 stars 46 forks source link

fix typo in seeed_xiao_rp2040.json board name #12

Closed jpeterik12 closed 1 year ago

maxgerhardt commented 1 year ago

This file is autogenned from https://github.com/earlephilhower/arduino-pico/blob/master/tools/makeboards.py#L336, the fix most go in there first.

maxgerhardt commented 1 year ago

Superseeded by https://github.com/maxgerhardt/platform-raspberrypi/commit/5397a3854dd28010227480cef0ca4e4ca122ae09.