diff options
| author | alex 孙欣乐 | 2022-12-02 14:24:00 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-02 14:24:00 +0000 |
| commit | 59b886cf5e89dadfd73d93b638b2c552ce5537f6 (patch) | |
| tree | 6f71649f4bd16bf1c74e9cb14e0d0aaeda611da3 /runtime/queries/lean | |
| parent | d0bc38d6fa60e36ef317e8bbbaa11aeb30470ecc (diff) | |
nightfox theme: Use brighter colors for diff scopes (#4966)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions