diff options
| author | Michael Howell <michael@notriddle.com> | 2023-01-18 12:39:13 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-01-18 12:39:13 -0700 |
| commit | 9ee4df0e9cbe474a0f357ed00dd479a2dae65e23 (patch) | |
| tree | fc941b531c269d5b0fee5e05ecf696744f9cbaaf /compiler/rustc_interface/src | |
| parent | 1f72129ffe5e8c495113f9a2d4e1730f7fad3209 (diff) | |
| download | rust-9ee4df0e9cbe474a0f357ed00dd479a2dae65e23.tar.gz rust-9ee4df0e9cbe474a0f357ed00dd479a2dae65e23.zip | |
rustdoc: remove redundant rule `#settings .setting-line`
Since the current version of settings.js always nests things below a div with ID `settings`, this rule always overrode the one above.
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions