summaryrefslogtreecommitdiff
path: root/thirdparty/embree
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <remi@verschelde.fr>2021-05-14 10:31:52 +0200
committerGitHub <noreply@github.com>2021-05-14 10:31:52 +0200
commit5c81fbdc19903cfcb55a30a17262c1fd7eb915c6 (patch)
tree26b7971b66137b0e06d2d815d09de6fab14f41f5 /thirdparty/embree
parente6cd0056a8d484d76f3aeeeed9604a4eded66a2a (diff)
parent56aedcee174f8f4b72ff94d616bf9cc634f494a7 (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