mirror of
https://github.com/micropython/micropython.git
synced 2026-04-30 21:00:12 +02:00
55f33240f3
There were several different spellings of MicroPython present in comments, when there should be only one.