aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/ponylang
diff options
context:
space:
mode:
authorMichael Davis2023-03-14 01:56:22 +0000
committerGitHub2023-03-14 01:56:22 +0000
commitbb41a283e61e4d6ec7b13909771d0a9e5a759a15 (patch)
treedca57146d5b46123f202322643bcb3985e16e16e /runtime/queries/ponylang
parentb558ce7148007b2abfb2690cae06fe46c20b1d68 (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/ponylang')
0 files changed, 0 insertions, 0 deletions