diff options
| author | Abderrahmane TAHRI JOUTI | 2023-10-23 15:10:42 +0000 |
|---|---|---|
| committer | GitHub | 2023-10-23 15:10:42 +0000 |
| commit | 88bc52a57058941e8f56b298b179426023184ac3 (patch) | |
| tree | 3e57acdce83700a7a71aea5d356616768410b412 /runtime/queries/lean/highlights.scm | |
| parent | 31f50bf5bf0d49af7359533e0865e878184c5225 (diff) | |
Theme cyan light diff colors (#8587)
Diffstat (limited to 'runtime/queries/lean/highlights.scm')
0 files changed, 0 insertions, 0 deletions