diff options
| author | Jens Getreu | 2023-01-06 12:59:55 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-06 12:59:55 +0000 |
| commit | f2fff9b9c95759385dbb5c84846ec35c9159d215 (patch) | |
| tree | 4ee818c2b08c9e9aaade5cddc70e600a61d5b4be /docs | |
| parent | 532531c3ca3824fa8fa75ca802d3b60e69e72682 (diff) | |
Autumn theme: adjust selection background (#5397)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions