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

Commits

Commits on Nov 2, 2022