Skip to content

rustdoc: remove redundant CSS/DOM div.search-container#103663

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

rustdoc: remove redundant CSS/DOM `div.search-container`#103663
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/search-container

Commits

Commits on Oct 28, 2022