diff options
author | Yuri Roubinsky <chaosus89@gmail.com> | 2022-01-30 11:54:30 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-30 11:54:30 +0300 |
commit | 78e3e65e7c38d18128524e0822a106ac76e38800 (patch) | |
tree | d49cb848431b4a8fba617f220f5d7197a1f4f024 /thirdparty/embree/kernels | |
parent | e4265e86ceee1bf08bd92b85b51e969310a08bd6 (diff) | |
parent | 6e2c9f398c74b8d73d02814e5e9e6d09ad0ef51c (diff) |
Merge pull request #57412 from Chaosus/fix_doc_panel_theming
Diffstat (limited to 'thirdparty/embree/kernels')
0 files changed, 0 insertions, 0 deletions