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

Commits

Commits on Oct 28, 2022