Skip to content

rustdoc: improve appearance of source page navigation bar#103321

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/source-page-top-bar-layout
Oct 21, 2022

Commits

Commits on Oct 20, 2022