diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-05-14 10:31:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-14 10:31:52 +0200 |
commit | 5c81fbdc19903cfcb55a30a17262c1fd7eb915c6 (patch) | |
tree | 26b7971b66137b0e06d2d815d09de6fab14f41f5 /thirdparty/embree | |
parent | e6cd0056a8d484d76f3aeeeed9604a4eded66a2a (diff) | |
parent | 56aedcee174f8f4b72ff94d616bf9cc634f494a7 (diff) |
Merge pull request #48667 from pycbouh/editor-respect-custom-themes
Keep custom editor theme when changing editor settings
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions