tree 83a2f29a83d13fd2655c7f8645db07b0828104a8
parent 3fe5fb296786e9396c1e91280360d9f029367b44
author Jason Newcomb <jsnewcomb@pm.me> 1744652405 -0400
committer Jason Newcomb <jsnewcomb@pm.me> 1747084072 -0400

clippy_dev: Reuse buffers when updating files and don't write unchanged files in `clippy_dev`