mirror of
https://github.com/micropython/micropython.git
synced 2026-01-10 14:07:14 +01:00
Some boards have multiple options for these pins, and they don't want to allow users to initialize a port without explicitly specifying pin numbers. Signed-off-by: Paul Grayson <paul@pololu.com>