rustdoc: move setting-line color CSS to settings.css#103257
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 20, 2022
Merged
rustdoc: move `setting-line` color CSS to settings.css#103257bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
