Skip to content

rustdoc: move setting-line color CSS to settings.css - #103257

Merged
bors merged 1 commit into
rust-lang:masterfrom
notriddle:notriddle/setting-line
Oct 20, 2022
Merged

rustdoc: move setting-line color CSS to settings.css#103257
bors merged 1 commit into
rust-lang:masterfrom
notriddle:notriddle/setting-line

Commits

Commits on Oct 19, 2022