Skip to content

rustdoc: make line number CSS for doc comment and scraped the same#106109

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/source-lines
Dec 24, 2022
Merged

rustdoc: make line number CSS for doc comment and scraped the same#106109
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/source-lines

Commits

Commits on Dec 24, 2022