Skip to content

Make the rendered html for rustc internal docs better#129088

Merged
bors merged 1 commit into
rust-lang:masterfrom
Jaic1:fix-doc
Aug 14, 2024
Merged

Make the rendered html for rustc internal docs better#129088
bors merged 1 commit into
rust-lang:masterfrom
Jaic1:fix-doc

Add `|` to make the html doc of `Level` rendered correctly

8557b56
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs