diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-14 19:40:15 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-14 22:14:00 +0200 |
| commit | 6df03fe61f8b25f932e0666cfd873e563e8cf1ed (patch) | |
| tree | f220b8a59c8eb9c5490b37cb2e92173f96827b8f /editor/plugins/theme_editor_plugin.h | |
| parent | 24e1039eb6fe32115e8d1a62a84965e9be19a2ed (diff) | |
Display an error message if no version control systems are available
This removes the need for a dedicated placeholder entry.
This closes #32135.
Diffstat (limited to 'editor/plugins/theme_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions