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 /docs | |
parent | ab763b31119484ae8afefd2cc4f1d6539c1905ec (diff) |
Add more accurate to official theme type highlighting to Darcula themes (#8738)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions