diff options
| author | Blendoit <blendoit@gmail.com> | 2020-11-07 21:33:19 -0800 |
|---|---|---|
| committer | Blendoit <blendoit@gmail.com> | 2020-11-07 21:33:19 -0800 |
| commit | 65f6036a359a200e1f57a8c646696f5a7de7603b (patch) | |
| tree | cb14507585bcfd6b860a289fe2379fe68797481a /resources/themes | |
| parent | 4f35728bfa2e9c30dfe2bc6654984fdeec19eca4 (diff) | |
Trying to get `header-line-format' right.
Diffstat (limited to 'resources/themes')
0 files changed, 0 insertions, 0 deletions