Skip to content

Move theme dropdown out of HTML#16851

Open
GuillaumeGomez wants to merge 1 commit intorust-lang:masterfrom
GuillaumeGomez:reduce-html
Open

Move theme dropdown out of HTML#16851
GuillaumeGomez wants to merge 1 commit intorust-lang:masterfrom
GuillaumeGomez:reduce-html

Commits

Commits on Apr 14, 2026