From 4637c31d822c5ced34c8550488e2555054284721 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Camilla=20L=C3=B6wy?= Date: Wed, 13 Sep 2017 23:19:29 +0200 Subject: [PATCH] Win32: Remove unused header --- src/win32_platform.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/win32_platform.h b/src/win32_platform.h index d0572226..63aaa94d 100644 --- a/src/win32_platform.h +++ b/src/win32_platform.h @@ -63,7 +63,6 @@ #include #include -#include #include #include #include