diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2019-08-25 18:42:19 +0200 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2019-08-25 18:42:19 +0200 |
| commit | dd58593e5e2d7584bddf4d61554d74acb3332890 (patch) | |
| tree | 6aad923b7100eea1a2eee36bdc75f955857aa629 /debian/source/format | |
| parent | 52a93e7f5c51f918d5ba026b891fdbea7fb60706 (diff) | |
| download | installation-guide-dd58593e5e2d7584bddf4d61554d74acb3332890.zip | |
Fix 'dark theme' shortcut once again; this time also in the English original :-)
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions