Skip to content

make doc search more relevant#46700

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

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

Commits

Commits on Dec 15, 2017