diff options
| author | Aidan Gauland | 2023-01-09 02:26:32 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-09 02:26:32 +0000 |
| commit | 77860bdb0503b3daf6e545cd5191e226456161b6 (patch) | |
| tree | c293db839abb9ac01b92339496f971ba5cc1011b /docs | |
| parent | 486c3ab0d542f5d502eba4f97446bdeca71afefd (diff) | |
Specify ui.selection.primary for Gruvbox themes (#5333)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions