Remove unneeded extra chars to reduce search-index size#56709

Merged

bors merged 2 commits intorust-lang:masterfrom GuillaumeGomez:reduce-search-index

Dec 14, 2018

+30-6

Commits on Dec 11, 2018

Remove unneeded extra chars to reduce search-index size
GuillaumeGomez
committed

Commits on Dec 13, 2018

Split on words instead
GuillaumeGomez
committed