diff options
| author | Philipp Mildenberger | 2023-03-20 00:18:08 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 19:58:17 +0000 |
| commit | 451fe528bbc71e2712c02c1ee0d7ac6fcc1a058b (patch) | |
| tree | 03cbf0b1555b66d447b255d9f98c6cfc2d90cc46 /.gitignore | |
| parent | 8ee599942a0e5ff6fa1a908ca076785e0d2bd0c7 (diff) | |
Filter out already seen language servers in requests that can be sent to multiple language servers (code-action, completion, symbol pickers)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions