You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Josverl
changed the title
Add/merge port specific sections into machine.pyi
Add/merge port/board specific sections (pins) into machine.pyi
Oct 25, 2023
Example : the rp2 machine.pyi
https://github.com/paulober/Pico-W-Stub/blob/main/frozen/umachine.pyi
possibly based on
ports/<port>/boards<board>/pins.csv
? for each boardto
The text was updated successfully, but these errors were encountered: