Skip to content

rustdoc: remove redundant CSS #crate-search { border-radius }#103162

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/crate-search
Oct 18, 2022

Commits

Commits on Oct 17, 2022