diff --git a/.gitignore b/.gitignore
index d6be2f6..f4143c2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,6 @@
 .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