diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-09-12 09:11:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-12 09:11:06 +0200 |
| commit | 7535c6c1636d37a76d79361092887f7dd13283df (patch) | |
| tree | 282b4b38d9d793ec358c490aaca058be4ad97759 /thirdparty/embree | |
| parent | baded9fe09e3dcb0a1e5c52ffc5436394aa6e38d (diff) | |
| parent | 213bd4199b22e109d432bc724f282cfbc17e60a7 (diff) | |
Merge pull request #65687 from Chaosus/gds_fix_script_time
Fix last_modified_time on scripts
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions