Skip to content

rustdoc: clean up CSS #titles using flexbox#101812

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/titles-button
Sep 15, 2022
Merged

rustdoc: clean up CSS `#titles` using flexbox#101812
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/titles-button

Commits

Commits on Sep 14, 2022