diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-20 20:22:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-20 20:22:43 +0200 |
| commit | 25a1bfed5c56880cba009f0d5fbc3e1a182e07b1 (patch) | |
| tree | 41da2cb49344297008339be393a9a40e95ceab4c /editor/plugins/theme_editor_plugin.h | |
| parent | ae3c685042fba134eaa22b4ce27c1b1c6702f274 (diff) | |
| parent | ba566dff2e7c3f98b0ea6e088843e4d9aaa8b531 (diff) | |
Merge pull request #32210 from Calinou/editor-log-distinguish-messages
Distinguish editor-originating messages in the editor log
Diffstat (limited to 'editor/plugins/theme_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions