From 457b0e1c5bbddba3c1bdcf1a9c1ddc6bfd454827 Mon Sep 17 00:00:00 2001
From: Peli <jhalleux@microsoft.com>
Date: Tue, 17 Dec 2019 09:23:11 -0800
Subject: [PATCH] ignore docs errors

---
 pxtarget.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pxtarget.json b/pxtarget.json
index 34d359c2..2ea52c61 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -269,6 +269,7 @@
         "productId": "0x0204",
         "rawHID": true
     },
+    "ignoreDocsErrors": true,
     "appTheme": {
         "accentColor": "#249899",
         "defaultLocale": "de",
@@ -298,7 +299,6 @@
         "extendEditor": true,
         "extendFieldEditors": true,
         "enableTrace": true,
-        "ignoreDocsErrors": true,
         "experiments": [
             "allowPackageExtensions",
             "instructions",