Skip to content

Minor tweaks to rustc book summary formatting. - #97203

Merged
bors merged 1 commit into
rust-lang:masterfrom
ehuss:rustc-summary-formatting
May 20, 2022
Merged

Minor tweaks to rustc book summary formatting.#97203
bors merged 1 commit into
rust-lang:masterfrom
ehuss:rustc-summary-formatting

Minor tweaks to rustc book summary formatting.

6eb4117
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs