rustdoc: remove redundant CSS rule #settings .setting-line#107045
Merged
bors merged 2 commits intorust-lang:masterfrom Jan 19, 2023
Merged
rustdoc: remove redundant CSS rule #settings .setting-line#107045bors merged 2 commits intorust-lang:masterfrom
#settings .setting-line#107045bors merged 2 commits intorust-lang:masterfrom