diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-06 11:33:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-06 11:33:43 +0100 |
| commit | a2a4ec7cb582650ed0cb70b33e9d954e288d1513 (patch) | |
| tree | 08188e981503aad93ea0fa9158fe103ac403184f /editor/editor_plugin.cpp | |
| parent | b2382183635acb4117d6b88eaffa8fd841052f10 (diff) | |
| parent | fe283fd07aa7682faf21b252c24c67f0497dc928 (diff) | |
Merge pull request #56376 from pycbouh/theme-tombe-les-theme-properties
Diffstat (limited to 'editor/editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions