diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2024-03-27 20:07:08 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-27 20:07:08 +0100 |
commit | d2f9245ddc868b8ca04a6fb1b912ec4b59512c11 (patch) | |
tree | f5e8447baa0cda4fc75a151d8a599d80fe3c4c77 /thirdparty/embree | |
parent | 7d151c83811f8ac8873439826c16d88c83aba12f (diff) | |
parent | 62531ea2d1f02df1413aff621f4a2a101a0905ec (diff) | |
download | redot-engine-d2f9245ddc868b8ca04a6fb1b912ec4b59512c11.tar.gz |
Merge pull request #89944 from AThousandShips/pr_fetch_fix
[CI] Work around diff size limit for static checks
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions