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 /platform/javascript | |
| 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 'platform/javascript')
| -rw-r--r-- | platform/javascript/export/export.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/platform/javascript/export/export.cpp b/platform/javascript/export/export.cpp index 2657eaddb5..b9ef63fe2f 100644 --- a/platform/javascript/export/export.cpp +++ b/platform/javascript/export/export.cpp @@ -28,9 +28,9 @@ /*************************************************************************/ #include "version.h" #include "export.h" -#include "tools/editor/editor_settings.h" -#include "tools/editor/editor_export.h" -#include "tools/editor/editor_node.h" +#include "editor/editor_settings.h" +#include "editor/editor_export.h" +#include "editor/editor_node.h" #include "io/zip_io.h" #include "io/marshalls.h" #include "global_config.h" |