diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-08-24 09:50:33 +0200 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2022-10-05 20:10:47 +0200 |
commit | 6bf02c016236c2d79b3e8cf10cfb580157535e5f (patch) | |
tree | ddbeffddec3fa9c943d4f519e3ff211cd4e8e2c9 /thirdparty/meshoptimizer/patches | |
parent | d331b803b8e63b0dab406a12c21805a17ee0a6a8 (diff) |
Keep a single, portable implementation of `OS::get_processor_count()`
Diffstat (limited to 'thirdparty/meshoptimizer/patches')
0 files changed, 0 insertions, 0 deletions