mirror of
https://github.com/micropython/micropython.git
synced 2024-07-26 18:26:56 +01:00
There were several different spellings of MicroPython present in comments, when there should be only one.
There were several different spellings of MicroPython present in comments, when there should be only one.