Skip to content

Remove some unused CSS rules#101898

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:rm-unused-css
Sep 17, 2022
Merged

Remove some unused CSS rules#101898
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:rm-unused-css

Commits

Commits on Sep 16, 2022