search

microbit-foundation / micropython-microbit-stubs

Type stubs for MicroPython for micro:bit to support the micro:bit Python Editor V3
https://python.microbit.org/
Other
3 stars 2 forks source link

Replace instances of `microbit` with `micro:bit`. #46

Closed microbit-robert closed 2 years ago

microbit-robert commented 2 years ago

There are at least a few instances of microbit in the documentation. Find and replace these with micro:bit.