diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-01-19 13:31:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-19 13:31:56 +0100 |
| commit | 6ab5d9d0082f48a3a7b2e9cc8f5c8d0c2fe16d1e (patch) | |
| tree | 27ce64237063ee40d640426a356f9f5cb9f5c4dd /editor/editor_plugin_settings.h | |
| parent | 34f6572bdf0cd2d16d3ee9d265a4bc9e7acfb76f (diff) | |
| parent | 2db30ef2233152c4d3147d5c0f2bfff65e434827 (diff) | |
Merge pull request #56935 from V-Sekai/window_theme_changed_signal
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions