added custom title

2016-03-10 23:09:38 -08:00
1 parent 78aee5fdd4
commit b576066f9f
@@ -21,6 +21,7 @@
    "target": {
        "id": "microbit",
        "name": "microbit",
+        "title": "micro:bit",
        "cloud": true,
        "blocksprj": {
            "id": "blocksprj",