Skip to content

Fix "run" button position in error index#82979

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:run-button-pos
Mar 12, 2021
Merged

Fix "run" button position in error index#82979
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:run-button-pos

Commits

Commits on Mar 10, 2021