rustdoc: web: don't reset the search bar#12439
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 22, 2014
emberian:rustdoc-reset
Merged
rustdoc: web: don't reset the search bar#12439bors merged 1 commit intorust-lang:masterfrom emberian:rustdoc-reset
bors merged 1 commit intorust-lang:masterfrom
emberian:rustdoc-reset
