aboutsummaryrefslogtreecommitdiff
path: root/.ignore
diff options
context:
space:
mode:
authorPhilipp Mildenberger2023-03-20 00:18:08 +0000
committerPhilipp Mildenberger2023-05-18 19:58:17 +0000
commit451fe528bbc71e2712c02c1ee0d7ac6fcc1a058b (patch)
tree03cbf0b1555b66d447b255d9f98c6cfc2d90cc46 /.ignore
parent8ee599942a0e5ff6fa1a908ca076785e0d2bd0c7 (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 '.ignore')
0 files changed, 0 insertions, 0 deletions