Adding getting-started option

2016-11-11 13:36:40 -08:00 · 2016-11-11 13:36:40 -08:00 · e706809037
commit e706809037
parent 5d6bc2f5df
1 changed files with 1 additions and 0 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -190,6 +190,7 @@
        "projectGallery": "projects",
        "boardName": "micro:bit",
        "sideDoc": "getting-started",
+        "gettingStarted": "getting-started",
        "browserSupport": [
            {
                "name": "unsupported",