rustdoc: remove redundant CSS div.desc { display: block }#105088
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 1, 2022
Merged
rustdoc: remove redundant CSS `div.desc { display: block }`#105088bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom