diff options
author | Antonius Naumann | 2023-01-25 15:56:51 +0000 |
---|---|---|
committer | GitHub | 2023-01-25 15:56:51 +0000 |
commit | 56c0810c6811df6607c7fe19bc912f419f2650de (patch) | |
tree | a9b08c3d55364d4ebc88d6b7cef5e466fc5fe49f /book/src/guides/README.md | |
parent | 67a287dd818bea14d550951a9660e8b0775bd8d0 (diff) |
Change default language server for 'v' from 'vls' to 'v ls' (#5677)
Diffstat (limited to 'book/src/guides/README.md')
0 files changed, 0 insertions, 0 deletions