From 575c0ca8ae2a28754d69de09256499377701c9b7 Mon Sep 17 00:00:00 2001
From: otsmr <git@tsmr.eu>
Date: Tue, 15 Jul 2025 00:39:24 +0200
Subject: [PATCH] remove devtools

---
 devtools_options.yaml | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 devtools_options.yaml

diff --git a/devtools_options.yaml b/devtools_options.yaml
deleted file mode 100644
index fa0b357..0000000
--- a/devtools_options.yaml
+++ /dev/null
@@ -1,3 +0,0 @@
-description: This file stores settings for Dart & Flutter DevTools.
-documentation: https://docs.flutter.dev/tools/devtools/extensions#configure-extension-enablement-states
-extensions: