rustdoc: remove deprecated / unused code from main.js#107014
Merged
bors merged 2 commits intorust-lang:masterfrom Jan 18, 2023
Merged
rustdoc: remove deprecated / unused code from main.js#107014bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom