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
Merged

Fix pagetoc inactive color in rustc book#141303
bors merged 1 commit intorust-lang:masterfrom
Urgau:pagetoc-fix-color

Commits

Commits on May 20, 2025