Skip to content

rustdoc: remove legacy user-select CSS#106502

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/user-select
Jan 6, 2023
Merged

rustdoc: remove legacy user-select CSS#106502
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/user-select

Commits

Commits on Jan 5, 2023