Skip to content

Search a substring instead of start of string in rustdoc search#53577

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rustdoc-substring-search
Aug 25, 2018
Merged

Search a substring instead of start of string in rustdoc search#53577
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:rustdoc-substring-search

Commits

Commits on Aug 21, 2018