8000 Add micro:bit board IDs by mbrossard · Pull Request #277 · ARMmbed/mbed-os-tools · GitHub
[go: up one dir, main page]
Skip to content

Add micro:bit board IDs#277

Open
mbrossard wants to merge 2 commits intoARMmbed:masterfrom
mbrossard:pr/microbit-board-ids
Open

Add micro:bit board IDs#277
mbrossard wants to merge 2 commits intoARMmbed:masterfrom
mbrossard:pr/microbit-board-ids

Commits

Commits on Dec 9, 2021
0