Skip to content

Fix run button style#51297

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-run-but-style
Jun 3, 2018
Merged

Fix run button style#51297
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-run-but-style

Commits

Commits on Jun 2, 2018