Skip to content

[rustdoc] Only generate search DOM elements if the search is actually needed - #160639

Open
GuillaumeGomez wants to merge 3 commits into
rust-lang:mainfrom
GuillaumeGomez:search-dom
Open

[rustdoc] Only generate search DOM elements if the search is actually needed#160639
GuillaumeGomez wants to merge 3 commits into
rust-lang:mainfrom
GuillaumeGomez:search-dom

Commits

Commits on Aug 12, 2026