diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-05-25 15:19:10 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-25 15:19:10 +0200 |
commit | f164c00a94793234879dc1824bd657db6df939ec (patch) | |
tree | 2e6c19a493c20e356b01a2a79f10e63c6e75ff56 /thirdparty/embree/common/algorithms/parallel_any_of.h | |
parent | 313e1f62bb4ed85041bcd9290ec76660878fcd6b (diff) | |
parent | da5d7db6100955922e08ee99a02f827214ed8281 (diff) |
Merge pull request #49061 from madmiraal/rename-len-length
Rename File::get_len() get_length()
Diffstat (limited to 'thirdparty/embree/common/algorithms/parallel_any_of.h')
0 files changed, 0 insertions, 0 deletions