Skip to content

rustdoc: remove unused CSS .summary#102242

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/summary
Sep 25, 2022
Merged

rustdoc: remove unused CSS `.summary`#102242
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/summary

Commits

Commits on Sep 24, 2022