Skip to content

Enable section-folding of table of content#1290

Merged
marioidival merged 1 commit into
rust-lang:masterfrom
weihanglo:patch-1
Dec 27, 2019
Merged

Enable section-folding of table of content#1290
marioidival merged 1 commit into
rust-lang:masterfrom
weihanglo:patch-1

Commits

Commits on Nov 9, 2019