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

Commits

Commits on Dec 24, 2022