Skip to content

rustdoc: remove unused mobile CSS .rustdoc { padding-top: 0 }#103890

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/mobile-rustdoc-padding-top
Nov 3, 2022
Merged

rustdoc: remove unused mobile CSS `.rustdoc { padding-top: 0 }`#103890
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/mobile-rustdoc-padding-top

Commits

Commits on Nov 2, 2022