bump pxt 5.28.31 (#958)

2019-11-26 00:04:30 +01:00
parent d2cf715423
commit 87d22db6f3
4 changed files with 22 additions and 3 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -201,5 +201,6 @@
        "alwaysGithubItem": true,
        "enableTrace": true
    },
-    "ignoreDocsErrors": true
+    "ignoreDocsErrors": true,
+    "uploadDocs": true
 }