renaming...

2016-06-14 14:39:31 -04:00
parent 6e62acb384
commit beac252620
4 changed files with 7 additions and 7 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -102,15 +102,15 @@
                "path": "/getting-started"
            },
            {
-                "name": "Projects",
+                "name": "Ten Projects",
                "path": "/projects"
            },
            {
-                "name": "Reference",
+                "name": "Micro:bit APIs",
                "path": "/reference"
            },
            {
-                "name": "Device",
+                "name": "Micro:bit Device",
                "path": "/device"
            }
        ],