diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-27 22:43:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-27 22:43:33 +0200 |
| commit | ffe2066bb5470820224185ecad7af257e1cd906c (patch) | |
| tree | bcb5d14743ee39551b8a622d866e2a06e4591996 /doc/classes/EditorPlugin.xml | |
| parent | 52814d111c3e522cb320bd7e17c61f914d7b9a3a (diff) | |
| parent | 9065b7ed4e72d107362a55a1d2b3ded20ae3a32f (diff) | |
Merge pull request #39102 from Calinou/makerst-print-status-messages
makerst: Print status messages to make the CI output clearer
Diffstat (limited to 'doc/classes/EditorPlugin.xml')
0 files changed, 0 insertions, 0 deletions