rustdoc: remove unnecessary CSS kbd { cursor: default }
#105707
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 15, 2022
Merged
rustdoc: remove unnecessary CSS `kbd { cursor: default }`#105707bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom