Skip to content

rustdoc: web: don't reset the search bar#12439

Merged
bors merged 1 commit intorust-lang:masterfrom
emberian:rustdoc-reset
Feb 22, 2014

Commits

Commits on Feb 21, 2014