diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-03-05 14:21:25 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-03-05 14:21:25 +0100 |
commit | 49c065d29ca07040c3fd810026121164ad86b247 (patch) | |
tree | 285176e0c80a41c22c3e8f171024472cfdc7d765 /tools/editor/icons/icon_wait_preview_2.png | |
parent | 532f6d4b431f940432e82b7fc7826652b7a4520d (diff) |
Refactoring: rename tools/editor/ to editor/
The other subfolders of tools/ had already been moved to either
editor/, misc/ or thirdparty/, so the hiding the editor code that
deep was no longer meaningful.
Diffstat (limited to 'tools/editor/icons/icon_wait_preview_2.png')
-rw-r--r-- | tools/editor/icons/icon_wait_preview_2.png | bin | 1270 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/editor/icons/icon_wait_preview_2.png b/tools/editor/icons/icon_wait_preview_2.png Binary files differdeleted file mode 100644 index f476b9ce1f..0000000000 --- a/tools/editor/icons/icon_wait_preview_2.png +++ /dev/null |