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
Merged

rustdoc: remove redundant CSS `#crate-search { border-radius }`#103162
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/crate-search

Commits

Commits on Oct 17, 2022