From eba7e96a4ce968c953499a912f5237b30ea28bf6 Mon Sep 17 00:00:00 2001
From: Jason2866 <24528715+Jason2866@users.noreply.github.com>
Date: Sat, 20 Jul 2024 14:56:25 +0200
Subject: [PATCH] remove not needed tools

---
 platform.json | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/platform.json b/platform.json
index 95ea87e..fe473c0 100644
--- a/platform.json
+++ b/platform.json
@@ -132,16 +132,6 @@
       "optional": true,
       "owner": "platformio",
       "version": "^1.7.0"
-    },
-    "tool-mconf": {
-      "optional": true,
-      "owner": "platformio",
-      "version": "~1.4060000.0"
-    },
-    "tool-idf": {
-      "optional": true,
-      "owner": "platformio",
-      "version": "~1.0.1"
     }
   }
 }