Skip to content

Add per page TOC in the rustc book#140113

Merged
bors merged 3 commits into
rust-lang:masterfrom
Urgau:rustc-book-page-toc
May 18, 2025
Merged

Add per page TOC in the rustc book#140113
bors merged 3 commits into
rust-lang:masterfrom
Urgau:rustc-book-page-toc

Cleanup the Javascript and CSS of our custom TOC

4cbcb44
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.