diff options
| author | DuckDuckWhale | 2024-01-08 02:03:56 +0000 |
|---|---|---|
| committer | GitHub | 2024-01-08 02:03:56 +0000 |
| commit | f8ae2bc61b0fee8b2820c07f10f25ee23c13af7f (patch) | |
| tree | 3eaf8b943d1bd33831e81241b4168ff6258b4151 /runtime/queries/lean | |
| parent | 7e389b67c24dfe4466112c988b240c807e7e2414 (diff) | |
Fix: misleading active tab color in monokai_pro* (#9148)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions