From b86010f1e6299a8ea24cd700dcf1207560d001fa Mon Sep 17 00:00:00 2001
From: Amerlander <Amerlander@users.noreply.github.com>
Date: Wed, 23 Mar 2022 17:55:47 +0100
Subject: [PATCH] set ignoreDocsErrors true (#155)

Co-authored-by: JW <gitkraken@juriwolf.de>
---
 pxtarget.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pxtarget.json b/pxtarget.json
index 8f8ada7e..748df9b5 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -316,7 +316,7 @@
         "extendEditor": true,
         "extendFieldEditors": true,
         "enableTrace": true,
-        "ignoreDocsErrors": false,
+        "ignoreDocsErrors": true,
         "errorList": true,
         "allowPackageExtensions": true,
         "addNewTypeScriptFile": true,