Skip to content

rustdoc: remove type="text/css" from stylesheet links#101023

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/head-shrink
Aug 26, 2022
Merged

rustdoc: remove `type="text/css"` from stylesheet links#101023
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/head-shrink

Commits

Commits on Aug 26, 2022