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