Skip to content

Generate list instead of div items in sidebar#93780

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:links-in-sidebar
Feb 18, 2022