diff options
author | Jimmy Zelinskie | 2024-02-18 23:19:26 +0000 |
---|---|---|
committer | GitHub | 2024-02-18 23:19:26 +0000 |
commit | b950dea003750120f6e764afd5afd7b738aa6410 (patch) | |
tree | 9c3259014150bfad41508a55f94afea3ad7eaa32 /runtime/themes/github_dark_dimmed.toml | |
parent | 9ab3f9d01a8ea4967f5a7e64a3f6c8f350674c18 (diff) |
add monokai soda theme (#9651)
Diffstat (limited to 'runtime/themes/github_dark_dimmed.toml')
0 files changed, 0 insertions, 0 deletions