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
bors merged 1 commit intorust-lang:masterfrom