diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-09-13 18:37:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-13 18:37:43 +0200 |
| commit | 27c6099c7915b4d57839e1f7af93b95fd1effd8d (patch) | |
| tree | 8b9e4c5e4355f31c749008ed2c0cd94aaac6cbaf /compiler/rustc_interface/src/errors.rs | |
| parent | 565b9c22645caa647e6b59032fc38d85db5ab254 (diff) | |
| parent | 9944f01c66e5c0c321a1c29455efe227e1f35aa4 (diff) | |
| download | rust-27c6099c7915b4d57839e1f7af93b95fd1effd8d.tar.gz rust-27c6099c7915b4d57839e1f7af93b95fd1effd8d.zip | |
Rollup merge of #115812 - GuillaumeGomez:merge-settings-into-rustdoc-css, r=notriddle
Merge settings.css into rustdoc.css There aren't that many CSS rules in `settings.css`, however quite some code is needed around it, making it more costly than useful. I think it's better to merge into `rustdoc.css` to simplify this. r? `@notriddle`
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions