randogoth/the-mews
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

chore: ignore Flutter DevTools' local options file

Browse source 
DevTools wrote app/devtools_options.yaml here two days ago and it has been
sitting in the working copy ever since. It records which DevTools extensions
are enabled on this machine, nothing about the project, so it differs per
checkout and is no use to anyone else. Ignored rather than committed because
under jj, which tracks new files automatically, being ignored is the only way
a file stays out of the next commit on its own.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This commit is contained in:
randogoth 2026-10-14 12:04:34 +03:00
parent 0a4bf025e1
commit 3015d4e237
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.gitignore vendored
View file

@ -1 +1,6 @@
.devbox/ .devbox/
# Flutter DevTools writes this into a checkout the first time it runs. It
# holds local tool state (which DevTools extensions are enabled), not project
# configuration, so it differs per machine and belongs to nobody else.
devtools_options.yaml