Skip to content

rustdoc: Add search result item types after their name - #110688

Merged
bors merged 5 commits into
rust-lang:masterfrom
GuillaumeGomez:result-search-type
Jun 16, 2023
Merged

rustdoc: Add search result item types after their name#110688
bors merged 5 commits into
rust-lang:masterfrom
GuillaumeGomez:result-search-type

Commits

Commits on Jun 2, 2023

Commits on Jun 3, 2023