diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-05-12 16:41:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-12 16:41:04 +0200 |
| commit | 231cd0fd7d8b091e76fe4493c4570aee96f68ed3 (patch) | |
| tree | 2b3667f38a05d9314c044a2d672f6412eb53128a /compiler/rustc_mir_transform/src/coverage/counters.rs | |
| parent | 80e1dec10e989a559a63a85c63339cb2eb553168 (diff) | |
| parent | dd6bb09133f1f97db6a36024bf4e66489fc760c1 (diff) | |
| download | rust-231cd0fd7d8b091e76fe4493c4570aee96f68ed3.tar.gz rust-231cd0fd7d8b091e76fe4493c4570aee96f68ed3.zip | |
Rollup merge of #96939 - GuillaumeGomez:settings-css, r=notriddle
Fix settings page CSS In https://github.com/rust-lang/rust/pull/96741, I moved the CSS loading outside of `settings.js`. The result was that on the settings page, there isn't the settings CSS anymore:  I also used this opportunity to remove unused CSS rules (we don't have `<select>` elements anymore in the settings). cc `@jsha` r? `@notriddle`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions