Skip to content

Fix pagetoc inactive color in rustc book#141303

Merged
bors merged 1 commit intorust-lang:masterfrom
Urgau:pagetoc-fix-color
May 21, 2025

Commits

Commits on May 20, 2025