diff options
| author | Davide Galassi | 2023-03-08 00:34:31 +0000 |
|---|---|---|
| committer | GitHub | 2023-03-08 00:34:31 +0000 |
| commit | f976c004e2efa4cb583b06827b44fef84bf925f5 (patch) | |
| tree | 1e2b15c6562556648b4e860d0fc8de135c0b3b61 /runtime/themes/catppuccin_mocha.toml | |
| parent | 0e5a4e55a497c58f68859edb48fd85854403b866 (diff) | |
Allow LSP server to be stopped (#5964)
Diffstat (limited to 'runtime/themes/catppuccin_mocha.toml')
0 files changed, 0 insertions, 0 deletions