diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-30 13:41:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-30 13:41:03 +0100 |
commit | 22ef1fa23db420522d8ba0126e1708b992c82dc3 (patch) | |
tree | ecf6f754ca221295d2c93f9621eac0acffcef009 /core/map.h | |
parent | fb08607aeecb8f70f998058f39aded11df9426ea (diff) | |
parent | b4d369c887001a824a4f27e59e3e300c8d4a5bb7 (diff) |
Merge pull request #16162 from hpvb/implement-windows-processor-count
Implement OS::get_processor_count() for Windows
Diffstat (limited to 'core/map.h')
0 files changed, 0 insertions, 0 deletions