Skip to content

rustdoc: remove unused CSS .sub-settings#105757

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/sub-settings
Dec 16, 2022
Merged

rustdoc: remove unused CSS `.sub-settings`#105757
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/sub-settings

Commits

Commits on Dec 15, 2022