diff options
| author | nuid32 | 2022-10-01 14:11:15 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-01 14:11:15 +0000 |
| commit | 2113b1bb2fe4d69eada555d562cbcf723201998a (patch) | |
| tree | 3f3e134ea87c38c2bc068373e828f7482d5f3ae8 /runtime/queries/lean | |
| parent | 60aa7d360777331753ae4735f8fd4ea96012d4fd (diff) | |
themes: Add onedarker (#3980)
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions