Skip to content

rustdoc: remove dashed underline under main heading#93172

Merged
bors merged 1 commit into
rust-lang:masterfrom
jsha:re-remove-line
Jan 22, 2022
Merged

rustdoc: remove dashed underline under main heading#93172
bors merged 1 commit into
rust-lang:masterfrom
jsha:re-remove-line

rustdoc: remove dashed underline under main heading

2eb8bfc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs