diff options
| author | Jack Huey <31162821+jackh726@users.noreply.github.com> | 2021-04-29 19:27:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-29 19:27:24 -0400 |
| commit | 8460539f28538331bfc40139a9ceaa648e979b47 (patch) | |
| tree | e0bba397c00bae8a1023e1982debae35233f53d4 /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 92c95916c18489a88e375b3a0cf267418e5c8c9b (diff) | |
| parent | a20831e7a6617953e8e9d3f94140a558feb1e8ce (diff) | |
| download | rust-8460539f28538331bfc40139a9ceaa648e979b47.tar.gz rust-8460539f28538331bfc40139a9ceaa648e979b47.zip | |
Rollup merge of #84690 - GuillaumeGomez:unneeded-bottom-margin-search-results, r=Nemo157
Remove unneeded bottom margin on search results As you can see, there is still more than enough space at the bottom:  r? ``````@Nemo157``````
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions