diff options
| author | Luctius | 2021-08-06 17:47:46 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-08-07 01:41:41 +0000 |
| commit | 8714b71991010565dbbcf7aff5dead6e0a4b2f15 (patch) | |
| tree | 9c9c6cf6f7305f181c9a51259d13e3d6e4d26da7 /.gitmodules | |
| parent | b20a5c4c0ef16bb0298d072ac7ac8450796b5954 (diff) | |
Do not shutdown lsp during claim_term
Fixes a bug where the language server is told to shutdown directly after application start.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions