On Thu Apr 24, 2025 at 12:54 PM CEST, Shan Shaji wrote:
> Omit `devtools_options.yaml` file and generated dart files
> from source control.
>
> `devtools_options.yaml` file is a config file for storing the
> extension enablement states of flutter dev tools. By adding
> `devtools_options.yaml`
> as
Omit `devtools_options.yaml` file and generated dart files
from source control.
`devtools_options.yaml` file is a config file for storing the
extension enablement states of flutter dev tools. By adding
`devtools_options.yaml`
as an entry in the `.gitignore` file, the configurations will be sepera