From e0a71daefba217318b434f870a809a327b8f20b7 Mon Sep 17 00:00:00 2001 From: Jolie <> Date: Thu, 13 Nov 2025 23:37:28 +0800 Subject: [PATCH] no message --- devtools_options.yaml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 devtools_options.yaml diff --git a/devtools_options.yaml b/devtools_options.yaml new file mode 100644 index 0000000..fa0b357 --- /dev/null +++ b/devtools_options.yaml @@ -0,0 +1,3 @@ +description: This file stores settings for Dart & Flutter DevTools. +documentation: https://docs.flutter.dev/tools/devtools/extensions#configure-extension-enablement-states +extensions: