ignoreing docs errors

2017-12-13 15:35:53 -08:00
parent 5678cf5df9
commit b73b924ec4
1 changed files with 2 additions and 1 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -137,5 +137,6 @@
        "monacoColors": {
            "editor.background": "#ecf6ff"
        }
-    }
+    },
+    "ignoreDocsErrors": true
 }