Skip to content

rustdoc search: Allow to filter on multiple crates - #115802

Draft
GuillaumeGomez wants to merge 1 commit into
rust-lang:mainfrom
GuillaumeGomez:rustdoc-search-multiple-crate-filtering
Draft

rustdoc search: Allow to filter on multiple crates#115802
GuillaumeGomez wants to merge 1 commit into
rust-lang:mainfrom
GuillaumeGomez:rustdoc-search-multiple-crate-filtering

Commits

  1. Commits on Sep 12, 2023