diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-12 13:12:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-12 13:12:00 +0100 |
| commit | f5dc2129a0551d1e4e215b31d849daf22e228c96 (patch) | |
| tree | 7b98fb0ae11ecba06e0fbf51a6d6d01541578fd5 /thirdparty/embree | |
| parent | c591ebf0127296f0a2c571d2ed18ae6619da2a76 (diff) | |
| parent | b255efba7cbcc3757d5489b63ae4bbe79db954f4 (diff) | |
Merge pull request #59057 from timothyqiu/smart-guide
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions