Skip to content

Replace topbar dropdown menus working with JS by <details>#1939

Open
GuillaumeGomez wants to merge 2 commits intorust-lang:masterfrom GuillaumeGomez:simplify-topbar-drowpdown-menus
+289-462

Commits

Commits on Dec 7, 2022