Skip to content

Add setting to go to item if there is only one result#50229

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:search-one-resultApr 27, 2018

Commits

Commits on Apr 26, 2018