diff options
| author | Brandon Dong | 2022-10-17 00:19:19 +0000 |
|---|---|---|
| committer | GitHub | 2022-10-17 00:19:19 +0000 |
| commit | a330b5d224274d3ca01def99408ce9e614a97c94 (patch) | |
| tree | fa68788e5218cfa7ed39ab34f5084c1169d5a1de /runtime/themes/monokai_pro.toml | |
| parent | 50b191a7dff4a6c311437d3e5fcd1ce36b300643 (diff) | |
Fix selecting pop dark theme (#4323)
Diffstat (limited to 'runtime/themes/monokai_pro.toml')
0 files changed, 0 insertions, 0 deletions