diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-11-08 10:41:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-08 10:41:17 +0100 |
commit | 90edd839d5f67d4252923a720feeef6ad0d76107 (patch) | |
tree | a1dd3ae46bf575cb8296df38568dfce237c6ecd8 /platform/server | |
parent | 30b6db99a99a94c64d906c1b828ff44f79a1bc75 (diff) | |
parent | 127458ed175c5aeac8dee7f09d23fae4c8928eb7 (diff) |
Merge pull request #43385 from reduz/reorganize-core
Reorganize and clean up core/ directory
Diffstat (limited to 'platform/server')
-rw-r--r-- | platform/server/os_server.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/server/os_server.cpp b/platform/server/os_server.cpp index fbe526ef6d..9937ae5b62 100644 --- a/platform/server/os_server.cpp +++ b/platform/server/os_server.cpp @@ -30,7 +30,7 @@ #include "os_server.h" -#include "core/print_string.h" +#include "core/string/print_string.h" #include "drivers/dummy/rasterizer_dummy.h" #include "drivers/dummy/texture_loader_dummy.h" #include "servers/rendering/rendering_server_raster.h" |