Skip to content

rustdoc: use a button instead of a bar for search#133279

Open
notriddle wants to merge 10 commits intorust-lang:masterfrom notriddle:notriddle/search-button