diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-05-08 10:21:54 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-08 10:21:54 +0200 |
commit | 7e396476236e9ee6c2f719d579048d682cca46e2 (patch) | |
tree | c3f9ac98ace6f1f12975fd9998e3d05944f3b805 /platform/windows/os_windows.h | |
parent | d7d20b70afa53ab3ddb7fc594fb37d5f0c4c5bc4 (diff) | |
parent | a6b191e3e0bbc707777165ecac593f72857ff395 (diff) |
Merge pull request #18665 from mhilbrunner/build-sdk
Windows detect.py: Detect missing WindowsSdkDir
Diffstat (limited to 'platform/windows/os_windows.h')
0 files changed, 0 insertions, 0 deletions