Skip to content

Remove hamburger button from source code page#60489

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:remove-hamburgerMay 7, 2019

Commits

Commits on May 2, 2019