Skip to content

rustdoc: simplify highlight.rs#99337

Merged
bors merged 1 commit intorust-lang:masterfrom
jsha:simplify-highlight
Aug 12, 2022
Merged

rustdoc: simplify highlight.rs#99337
bors merged 1 commit intorust-lang:masterfrom
jsha:simplify-highlight

Commits

Commits on Aug 10, 2022