diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-01-17 20:21:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-17 20:21:25 +0100 |
| commit | 68f12338afed4162317225850719f558cefad71f (patch) | |
| tree | 48afbd0e51e8c1b8a7f75b179078cb699ce16fd3 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 38a76f33220c4b9d13dda1fa8f6c629c8a7bcc5d (diff) | |
| parent | 7d59c0ccaa3aeb528a66ae3d2fec6a5ebbe44bc2 (diff) | |
| download | rust-68f12338afed4162317225850719f558cefad71f.tar.gz rust-68f12338afed4162317225850719f558cefad71f.zip | |
Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726
Remove double spaces after dots in comments Most of the comments do not have double spaces, so I assume these are typos.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions