mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 05:00:26 +01:00
This is how the names will be printed on the sticker that goes on top of the EMI shield. The shorter names also help saving a few bytes of RAM and ROM.