diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-19 09:39:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-19 09:39:33 +0100 |
| commit | 632ff1634b03dda3a7e7086e6bf465874fd07acb (patch) | |
| tree | 8a133eb5d0d699f9fd2c81475037f4d3ed0dd9b0 /core/os | |
| parent | 953432f4b6eb7678f71ed0ddf90b27ad93fac577 (diff) | |
| parent | 056ea997e5c4d2150b02a2bb59ea505b697607a1 (diff) | |
Merge pull request #25110 from groud/display_pivot
Displays the pivot all the time and rotate the icon
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions