aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean/highlights.scm
diff options
context:
space:
mode:
authorChirikumbrah2023-05-01 21:51:35 +0000
committerGitHub2023-05-01 21:51:35 +0000
commit2701781db795cbdda739b5c1153b09429d7ae789 (patch)
tree348d061f410e181973baa5b0ef614c1179740a8f /runtime/queries/lean/highlights.scm
parent015623720cfda031d04bb3628b4a0ad506b3bccf (diff)
Dracula theme: change variable and menu colors (#6855)
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions