diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-07-26 21:00:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-26 21:00:29 +0200 |
| commit | 674ccdb244a8a7d806bdf024c1127226eff11976 (patch) | |
| tree | 6e7f55f488e4abf0397c69f6f57f88865388100b /thirdparty/embree | |
| parent | 6097e6887deabe50d559a2e03b0b8c5ff978e5f2 (diff) | |
| parent | d1716c2e7abb6575a239449c992bcca71a768f9e (diff) | |
Merge pull request #62415 from Calinou/movie-maker-change-window-title
Change window title in Movie Maker mode to display useful information
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions