Pxt v5.23.17 (#2446)

* bump pxt * regen docs * fix version syntax * restore extension * removed dup
2019-09-25 06:52:29 -07:00
parent f3bec09b0d
commit b6df0a8c71
4 changed files with 18 additions and 3 deletions
--- a/targetconfig.json
+++ b/targetconfig.json
@ -207,4 +207,4 @@
    "electronManifest": {
        "latest": "v2.0.3"
    }
-}
+}