Skip to content

Load rustdoc's JS search index on-demand.#82310

Merged
bors merged 1 commit intorust-lang:masterfrom
jsha:rustdoc-search-onfocus
Mar 4, 2021
Merged

Load rustdoc's JS search index on-demand.#82310
bors merged 1 commit intorust-lang:masterfrom
jsha:rustdoc-search-onfocus

Commits

Commits on Mar 2, 2021