diff options
| author | Michael Davis | 2023-03-14 01:56:22 +0000 |
|---|---|---|
| committer | GitHub | 2023-03-14 01:56:22 +0000 |
| commit | bb41a283e61e4d6ec7b13909771d0a9e5a759a15 (patch) | |
| tree | dca57146d5b46123f202322643bcb3985e16e16e /runtime/queries | |
| parent | b558ce7148007b2abfb2690cae06fe46c20b1d68 (diff) | |
theme: Use inheritance for gruvbox themes (#6295)
These gruvbox variants were introduced before theme inheritance and
only differ by a few colors. This change cleans up the duplicated
theming with theme inheritance.
Diffstat (limited to 'runtime/queries')
0 files changed, 0 insertions, 0 deletions