diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-01 22:29:33 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-01 22:29:51 +0100 |
| commit | c197b398c38727c6cce3d2fec7aa07d2e1020e09 (patch) | |
| tree | c2e29e9ad187c4ac63c71a563b8dbb476b872bea /editor/plugins/theme_editor_plugin.cpp | |
| parent | 0a9e6e478e3183d7bf3c5cb895c706bc6275d3ea (diff) | |
Fix build with `deprecated=no` not exclude ProjectConverter3To4 options
Fixes #72520.
Diffstat (limited to 'editor/plugins/theme_editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions