diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-08-29 08:09:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-29 08:09:15 +0200 |
commit | b3caf72b1dbb340c39b865ad4ea68596b4b6f74d (patch) | |
tree | 3eb7ecd71c5574ed6638c41e4007a1579993b69f /tools/editor/icons/icon_mini_image.png | |
parent | 1b80edafcaeca5c9f61c86448a16238fd82bb6da (diff) | |
parent | 9465ce46c6cded53b319935cd9836dc7b84264a5 (diff) |
Merge pull request #6319 from djrm/icons
VS icons improvements
Diffstat (limited to 'tools/editor/icons/icon_mini_image.png')
-rw-r--r-- | tools/editor/icons/icon_mini_image.png | bin | 248 -> 257 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/editor/icons/icon_mini_image.png b/tools/editor/icons/icon_mini_image.png Binary files differindex 0297884124..2ad359bdbe 100644 --- a/tools/editor/icons/icon_mini_image.png +++ b/tools/editor/icons/icon_mini_image.png |