From 49c065d29ca07040c3fd810026121164ad86b247 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= Date: Sun, 5 Mar 2017 14:21:25 +0100 Subject: 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. --- tools/editor/icons/source/icon_mini_input.svg | 146 -------------------------- 1 file changed, 146 deletions(-) delete mode 100644 tools/editor/icons/source/icon_mini_input.svg (limited to 'tools/editor/icons/source/icon_mini_input.svg') diff --git a/tools/editor/icons/source/icon_mini_input.svg b/tools/editor/icons/source/icon_mini_input.svg deleted file mode 100644 index 9e966f77d1..0000000000 --- a/tools/editor/icons/source/icon_mini_input.svg +++ /dev/null @@ -1,146 +0,0 @@ - - - - - - - - - - - - image/svg+xml - - - - - - - - - - - - - - - - - - - -- cgit v1.2.3