diff --git a/devtools_options.yaml b/devtools_options.yaml new file mode 100644 index 00000000000..2bc8e05fd20 --- /dev/null +++ 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 \ No newline at end of file diff --git a/packages/devtools_app/devtools_options.yaml b/packages/devtools_app/devtools_options.yaml deleted file mode 100644 index 5c27c3e341f..00000000000 --- a/packages/devtools_app/devtools_options.yaml +++ /dev/null @@ -1,2 +0,0 @@ -extensions: - - provider: true \ No newline at end of file