From 72d8da1fe857a0c48bddcf9c2b5df2bfb90fc9ae Mon Sep 17 00:00:00 2001 From: Stephan D Date: Sun, 23 Nov 2025 15:50:46 +0100 Subject: [PATCH] removed dev file --- frontend/pweb/devtools_options.yaml | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 frontend/pweb/devtools_options.yaml diff --git a/frontend/pweb/devtools_options.yaml b/frontend/pweb/devtools_options.yaml deleted file mode 100644 index fa0b357..0000000 --- a/frontend/pweb/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: