renaming board name

This commit is contained in:
Peli de Halleux 2016-10-17 16:18:04 -07:00
parent 790b9f557a
commit a19d1c848b

View File

@ -249,7 +249,7 @@
"path": "/browsers/windows"
}
],
"boardName": "BBC micro:bit",
"boardName": "micro:bit",
"docMenu": [
{
"name": "Getting Started",