Skip to content

rustdoc: clean up settings.css and settings.js#110661

Merged
bors merged 2 commits intorust-lang:masterfrom
notriddle:notriddle/settings-js-handlekey
Apr 24, 2023
Merged

rustdoc: clean up settings.css and settings.js#110661
bors merged 2 commits intorust-lang:masterfrom
notriddle:notriddle/settings-js-handlekey

Commits

Commits on Apr 21, 2023

Commits on Apr 22, 2023