diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-12-30 16:28:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-30 16:28:47 +0100 |
commit | edf2ed5e5056b3f37014cafb2571dd31d65a4a96 (patch) | |
tree | 3e8a26c70b13525a6fed48799d3eaceac7e9baae /platform/android | |
parent | 46bc05c5acf8cf9833f9a992935afaa8d074ad58 (diff) | |
parent | 078c0d75f2782e3eee5b1b4ed2176687bfd51f20 (diff) |
Merge pull request #34582 from timothyqiu/forward-decl
Cleans up headers included in editor_node.h
Diffstat (limited to 'platform/android')
-rw-r--r-- | platform/android/export/export.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/android/export/export.cpp b/platform/android/export/export.cpp index 4194e129ef..0645efccd7 100644 --- a/platform/android/export/export.cpp +++ b/platform/android/export/export.cpp @@ -38,6 +38,7 @@ #include "core/project_settings.h" #include "core/version.h" #include "editor/editor_export.h" +#include "editor/editor_log.h" #include "editor/editor_node.h" #include "editor/editor_settings.h" #include "platform/android/logo.gen.h" |