mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 05:00:26 +01:00
So the names don't start with a digit, which isn't allowed in Python. Signed-off-by: robert-hh <robert@hammelrath.com>
So the names don't start with a digit, which isn't allowed in Python. Signed-off-by: robert-hh <robert@hammelrath.com>