diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2021-11-26 22:41:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-26 22:41:40 +0100 |
| commit | 330a558e42abb0fbfc020079754de299aaa409f2 (patch) | |
| tree | fed5a6701c7574e7e1f6da796cd9190d6360db9f /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | fcbbdaf2092ad2dee5763389ad89f89cbf560906 (diff) | |
| parent | 23427567b2030dfe1a8e99cd86d2602517118035 (diff) | |
| download | rust-330a558e42abb0fbfc020079754de299aaa409f2.tar.gz rust-330a558e42abb0fbfc020079754de299aaa409f2.zip | |
Rollup merge of #91223 - GuillaumeGomez:headings-indent, r=jsha
Fix headings indent Fixes #91200. Screenshots with the fix:   If the first element of a top docblock is a heading, we still need to keep the indent, but only on this one (I added a test to check it). We need it because otherwise the anchor will go over the `[-]` toggle. cc `@camelid` r? `@jsha`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions