diff options
| author | bors <bors@rust-lang.org> | 2023-09-01 06:31:39 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-01 06:31:39 +0000 |
| commit | cae8f934f56216abbed5a6242d455a1e043caed6 (patch) | |
| tree | 09464a8fad1ff76912a03e8dfe1a1d4f05433df6 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | a346b299d310e20095ba4aa5275c852b6321ae85 (diff) | |
| parent | f28772f968a4bea1484376f6baf7daa39778cf5e (diff) | |
| download | rust-cae8f934f56216abbed5a6242d455a1e043caed6.tar.gz rust-cae8f934f56216abbed5a6242d455a1e043caed6.zip | |
Auto merge of #3048 - RalfJung:fmt-skip-children, r=RalfJung
add '--skip-children' to rustfmt invocation This finally fixes the issue that we format the same file many times (and `./miri fmt --check` shows duplicate diffs). :)
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions