rustdoc: use real buttons for scrape examples controls#104611
Merged
bors merged 4 commits intorust-lang:masterfrom Nov 20, 2022
Merged
rustdoc: use real buttons for scrape examples controls#104611bors merged 4 commits intorust-lang:masterfrom
bors merged 4 commits intorust-lang:masterfrom