From a19d1c848b64ce96a0de55947d0959cf43e0bb1a Mon Sep 17 00:00:00 2001
From: Peli de Halleux <jhalleux@microsoft.com>
Date: Mon, 17 Oct 2016 16:18:04 -0700
Subject: [PATCH] renaming board name

---
 pxtarget.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pxtarget.json b/pxtarget.json
index 4cd7e1fd..80173f11 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -249,7 +249,7 @@
                 "path": "/browsers/windows"
             }
         ],
-        "boardName": "BBC micro:bit",
+        "boardName": "micro:bit",
         "docMenu": [
             {
                 "name": "Getting Started",