diff options
| author | Jummit | 2023-08-04 14:25:36 +0000 |
|---|---|---|
| committer | GitHub | 2023-08-04 14:25:36 +0000 |
| commit | f19793c2f86dea8e7af8570563e2dd5a8da9fefb (patch) | |
| tree | 02a604c37fecc0859d17e065d69cbc558ffb25a3 /runtime/themes/monokai_pro_ristretto.toml | |
| parent | 5a51036bc1e0b5b0bffa599dd2caf171d6924546 (diff) | |
Improve wren support (#7819)
Diffstat (limited to 'runtime/themes/monokai_pro_ristretto.toml')
0 files changed, 0 insertions, 0 deletions