Install rp2040tools by default // Resolve #8

valeros · valeros · commit 5cb4a7f9cb2d · 2021-05-26T17:45:12.000+03:00
diff --git a/platform.json b/platform.json
@@ -39,7 +39,6 @@
     },
     "tool-rp2040tools": {
       "type": "uploader",
-      "optional": true,
       "owner": "platformio",
       "version": "~1.0.2"
     },
