diff options
| author | Dave Davenport <qball@blame.services> | 2021-11-29 19:31:31 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@blame.services> | 2021-11-29 19:31:31 +0100 |
| commit | f72d6135bd8c4903adb233457b2ca1b0ca4b2705 (patch) | |
| tree | 1f9a9d9f796f9e6789a07d5cf8fa3eb23da2a1a0 /.github/actions | |
| parent | b03c072aaaf5de4557c7c9e7e8997d5c639dc818 (diff) | |
[Config] on -dump-config do not include -theme option.
But print the right line at the bottom.
fixes: #1534
Diffstat (limited to '.github/actions')
0 files changed, 0 insertions, 0 deletions