diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2016-10-14 22:17:03 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-14 22:17:03 +0200 |
commit | 17f06202b7d5e00b6bf250e03b0ca994ee5dd298 (patch) | |
tree | d6a6897a07c762fb6263e77ab4ed14815f2aa244 /platform/winrt/os_winrt.cpp | |
parent | 6ca2128ff8439fa669995f54940389b8f5d9b854 (diff) | |
parent | f63bf12193deaf9cae5b1d6c7289afc17a7de946 (diff) |
Merge pull request #6827 from akien-mga/pr-bye-nedmalloc
Drop nedmalloc which is apparently not used anymore
Diffstat (limited to 'platform/winrt/os_winrt.cpp')
-rw-r--r-- | platform/winrt/os_winrt.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/platform/winrt/os_winrt.cpp b/platform/winrt/os_winrt.cpp index 0ce561f88a..4b23f3960e 100644 --- a/platform/winrt/os_winrt.cpp +++ b/platform/winrt/os_winrt.cpp @@ -28,7 +28,6 @@ /*************************************************************************/ #include "drivers/gles2/rasterizer_gles2.h" #include "os_winrt.h" -#include "drivers/nedmalloc/memory_pool_static_nedmalloc.h" #include "drivers/unix/memory_pool_static_malloc.h" #include "os/memory_pool_dynamic_static.h" #include "thread_winrt.h" |