diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-20 18:05:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-20 18:05:12 +0200 |
| commit | c5ea07ce861e853653ef7172c5341ccdf77f14e3 (patch) | |
| tree | 9c38348aa8e759565d489e930cb9eb6501b49909 /editor/editor_properties.cpp | |
| parent | 91e9e3c681959a6a690ceca60d196022e938bc7f (diff) | |
| parent | aafb5e54f4519e3155c1eb796a2919b724d8bda8 (diff) | |
Merge pull request #62249 from Calinou/editor-icons-rename-videostreamplayer
Diffstat (limited to 'editor/editor_properties.cpp')
0 files changed, 0 insertions, 0 deletions