mirror of
https://github.com/micropython/micropython.git
synced 2026-01-05 03:30:14 +01:00
This renames a few identifiers to follow the usual naming convention of mp_<module>_<name>. This makes them easier to find, e.g. when grep'ing.
2.8 KiB
2.8 KiB