diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-16 09:23:04 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-16 09:23:04 +0100 |
commit | 340e54ab558bb77a98db07be4c7a2d125ed21e8d (patch) | |
tree | 076e7c5035e41c7d194e8b2cfda4acca89083b55 /thirdparty/embree/kernels/common | |
parent | 95a85c9058e9c2a7eab3f5a272ffbe741a6750d1 (diff) | |
parent | 45bdf4d6095bb065690e097f8728c323729d9bbd (diff) |
Merge pull request #68708 from KoBeWi/this_dock_is_a_history_now
Add explicit name to History dock
Diffstat (limited to 'thirdparty/embree/kernels/common')
0 files changed, 0 insertions, 0 deletions