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

Move type name directly into the same DOM element

de85f7f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs