diff options
author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-05-07 00:42:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-07 00:42:12 +0200 |
commit | a6b191e3e0bbc707777165ecac593f72857ff395 (patch) | |
tree | 08fea5de11215e3038a23c1b524c7306eca3af21 /platform/x11/platform_config.h | |
parent | baa39339681d1a3dd60a41f58c363a1fce176073 (diff) |
Windows detect.py: Detect missing WindowsSdkDir
Diffstat (limited to 'platform/x11/platform_config.h')
0 files changed, 0 insertions, 0 deletions