Skip to content

Improve display for "copy-path" button, making it more discreet#85407

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:copy-path-display-improvement
May 18, 2021
Merged

Improve display for "copy-path" button, making it more discreet#85407
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:copy-path-display-improvement

Commits

Commits on May 18, 2021