rustdoc: remove no-op CSS .source pre.rust { white-space: pre }#103462
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 25, 2022
Merged
rustdoc: remove no-op CSS .source pre.rust { white-space: pre }#103462bors merged 1 commit intorust-lang:masterfrom
.source pre.rust { white-space: pre }#103462bors merged 1 commit intorust-lang:masterfrom