diff --git a/.gitignore b/.gitignore
index c833c63..ee4970d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,6 +33,11 @@ migrate_working_dir/
 .pub/
 /build/
 
+# 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
+
 # Symbolication related
 app.*.symbols