diff options
author | Filipe Azevedo | 2022-09-20 07:44:36 +0000 |
---|---|---|
committer | GitHub | 2022-09-20 07:44:36 +0000 |
commit | 385ccdfc9c4f04cbe33c7cfdd668a1f694b6d870 (patch) | |
tree | 9a0b6ed9c9ae0c7406ce16f38207c5ac3ca4aab1 /runtime/themes/monokai_pro_ristretto.toml | |
parent | aa00a470f31514b792e219513ffb3806a5e5b53e (diff) |
add :lsp-restart command (#3435)
Diffstat (limited to 'runtime/themes/monokai_pro_ristretto.toml')
0 files changed, 0 insertions, 0 deletions