diff options
| author | Jesús González | 2023-12-05 01:46:23 +0000 |
|---|---|---|
| committer | GitHub | 2023-12-05 01:46:23 +0000 |
| commit | 44c3d48a941c5e2d6484c808c9066b91cfbcf0ec (patch) | |
| tree | 5d2560d62c297423fc9040f5d2a537c6921dab9b /runtime/queries/lean | |
| parent | ab763b31119484ae8afefd2cc4f1d6539c1905ec (diff) | |
Add more accurate to official theme type highlighting to Darcula themes (#8738)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions