diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-18 16:19:07 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-18 16:19:07 +0100 |
| commit | b1605c6d35139dab8b17eff3a6ce38fbdadaf89f (patch) | |
| tree | d79ceff7ba0b5cc955b9d6ff700661897ae93c2f /thirdparty/embree | |
| parent | e8f9cd8ac5cf3e511e02d78a5497d204ca7e8308 (diff) | |
| parent | 378d9a630c189297bd2d9fd402675a5dff573585 (diff) | |
Merge pull request #68801 from vincentmoreschi/vincentmoreschi/master
Add raise -> move_to_front rename line
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions