diff options
| author | Robin Jarry <robin@jarry.cc> | 2023-01-24 23:44:03 +0100 |
|---|---|---|
| committer | Robin Jarry <robin@jarry.cc> | 2023-01-26 00:20:50 +0100 |
| commit | eb82d0e2187f943aedfce2581328d2f89047c722 (patch) | |
| tree | 7d7bce2e3f0889346ac0d43d56832d3348e2e13f /doc | |
| parent | 98e32d2ff22cba1e60caf6a252eee0d38f26f736 (diff) | |
| download | aerc-eb82d0e2187f943aedfce2581328d2f89047c722.tar.gz | |
config: remove unused ui.show-header setting
This has setting never been used.
Signed-off-by: Robin Jarry <robin@jarry.cc>
Tested-by: Kt Programs <ktprograms@gmail.com>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions