diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-11-20 20:08:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-20 20:08:46 +0100 |
commit | 91a7b8c94891ccde6336e225b592675651544a79 (patch) | |
tree | 1a2e3f16de80b5c86816238a607e172dcbb709d5 /editor/icons/icon_save.svg | |
parent | 674d805813f487575422f196f6114d80d83d00e6 (diff) | |
parent | e5de5b4908fd31954c36662da83c7cf3f60fe2fb (diff) |
Merge pull request #13108 from djrm/pr_visual_improvements
Visual fixes
Diffstat (limited to 'editor/icons/icon_save.svg')
0 files changed, 0 insertions, 0 deletions