From 5cb4a7f9cb2d51607e617ccd2c01864379513ef7 Mon Sep 17 00:00:00 2001
From: valeros <valeros08@gmail.com>
Date: Wed, 26 May 2021 17:45:12 +0300
Subject: [PATCH] Install rp2040tools by default // Resolve #8

---
 platform.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/platform.json b/platform.json
index 21aee9b..786e9ed 100644
--- a/platform.json
+++ b/platform.json
@@ -39,7 +39,6 @@
     },
     "tool-rp2040tools": {
       "type": "uploader",
-      "optional": true,
       "owner": "platformio",
       "version": "~1.0.2"
     },