Skip to content

Add right border bar to Dark and Light theme#74504

Merged
bors merged 2 commits intorust-lang:masterfrom
tesuji:ayu-border-selected-fn
Jul 24, 2020

Commits

Commits on Jul 24, 2020