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/Theme.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/Theme.xml')
0 files changed, 0 insertions, 0 deletions