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-improvementMay 18, 2021
+39-13

Commits

Commits on May 18, 2021