Skip to content

make doc search more relevant - #46700

Merged
bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:more-relevant-doc-search
Dec 19, 2017
Merged

make doc search more relevant#46700
bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:more-relevant-doc-search

Improve results a bit

97c18f4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs