Skip to content

Remove hamburger button from source code page#60489

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

Remove hamburger button from source code page#60489
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-hamburger

Commits

Commits on May 2, 2019