diff options
author | Jens Getreu | 2022-12-04 02:03:42 +0000 |
---|---|---|
committer | GitHub | 2022-12-04 02:03:42 +0000 |
commit | 326a0dab069b65463db90e2647287c1e5b6b66aa (patch) | |
tree | 4b14ae3c629db4acb42285f31b46bd985fd748d2 /runtime/queries/latex/highlights.scm | |
parent | 2123e91e56caccf60b9285f30bc2f2f12952520a (diff) |
Autumn theme: adjust some gray colors (#4996)
Diffstat (limited to 'runtime/queries/latex/highlights.scm')
0 files changed, 0 insertions, 0 deletions