Check in devtools_options.yaml at the repo level (flutter#8597)

After the switch to pub workspaces, the devtools_options.yaml file should be stored at the root Fixes flutter#8589
elliette · Dec 5, 2024 · 2daf971 · 2daf971
1 parent aad5c0c
commit 2daf971
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/devtools_options.yaml b/devtools_options.yaml
@@ -0,0 +1,4 @@
+description: This file stores settings for Dart & Flutter DevTools.
+documentation: https://docs.flutter.dev/tools/devtools/extensions#configure-extension-enablement-states
+extensions:
+  - provider: true
diff --git a/packages/devtools_app/devtools_options.yaml b/packages/devtools_app/devtools_options.yaml