mirror of
https://github.com/micropython/micropython.git
synced 2026-01-07 12:40:15 +01:00
These were not changed with commit c0b64a3f2 for using tools/boardgen.py.
Signed-off-by: robert-hh <robert@hammelrath.com>
These were not changed with commit c0b64a3f2 for using tools/boardgen.py.
Signed-off-by: robert-hh <robert@hammelrath.com>