Skip to content

rustdoc: remove unused CSS .search-container > *#103025

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/search-container-star
Oct 14, 2022
Merged

rustdoc: remove unused CSS `.search-container > *`#103025
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/search-container-star

Commits

Commits on Oct 13, 2022