Skip to content

rustdoc: clean up settings.css and settings.js#110661

Merged
bors merged 2 commits into
rust-lang:masterfrom
notriddle:notriddle/settings-js-handlekey
Apr 24, 2023
Merged

rustdoc: clean up settings.css and settings.js#110661
bors merged 2 commits into
rust-lang:masterfrom
notriddle:notriddle/settings-js-handlekey

rustdoc: remove unused CSS `color: inherit`

1d0f34f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs