remove not needed tools

2024-07-20 14:56:25 +02:00
parent 814e9d4ef7
commit eba7e96a4c
1 changed files with 0 additions and 10 deletions
@@ -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"
    }
  }
 }