diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-11-09 12:13:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-09 12:13:11 +0100 |
| commit | bc6ec58456c2ca68ca1866a5375050041b838402 (patch) | |
| tree | 6b71447870f57c755ddd44c43d526f4bf55b4442 /editor/plugin_config_dialog.cpp | |
| parent | 8a15e404b24c4c7ea66a71da5197fdb61c00b854 (diff) | |
| parent | 071829acc5b80eea1c0bae1ea92fcc0a688221d8 (diff) | |
Merge pull request #47600 from qarmin/enable_mono_editor
Diffstat (limited to 'editor/plugin_config_dialog.cpp')
0 files changed, 0 insertions, 0 deletions