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 /doc/classes/Resource.xml | |
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 'doc/classes/Resource.xml')
0 files changed, 0 insertions, 0 deletions