Skip to content

rustdoc: remove deprecated / unused code from main.js#107014

Merged
bors merged 2 commits intorust-lang:masterfrom
notriddle:notriddle/js-cleanup
Jan 18, 2023