rustdoc: remove unused mobile CSS .rustdoc { padding-top: 0 }
#103890
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 3, 2022
Merged
rustdoc: remove unused mobile CSS `.rustdoc { padding-top: 0 }`#103890bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom