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 /runtime/queries/lean | |
parent | 486c3ab0d542f5d502eba4f97446bdeca71afefd (diff) |
Specify ui.selection.primary for Gruvbox themes (#5333)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions