Skip to content

rustdoc: remove mobile topbar from source pages instead of hiding it#102815

Merged
bors merged 1 commit intorust-lang:masterfrom notriddle:notriddle/mobile-topbarOct 9, 2022