Skip to content

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

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

Commits

Commits on Mar 2, 2021