diff options
author | Matthew Toohey | 2022-07-05 11:00:38 +0000 |
---|---|---|
committer | GitHub | 2022-07-05 11:00:38 +0000 |
commit | d78354c537e00ddb0976efad1df49c90a224f107 (patch) | |
tree | 0295e84bda9b8df88bd8db2d560cd974dd80bf1c /runtime/themes/tokyonight_storm.toml | |
parent | b26e7e2e8fc900b5637d9772ecb74874e8794ecc (diff) |
add language `idris` (#2971)
Diffstat (limited to 'runtime/themes/tokyonight_storm.toml')
0 files changed, 0 insertions, 0 deletions