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/theme | |
| parent | 67a287dd818bea14d550951a9660e8b0775bd8d0 (diff) | |
Change default language server for 'v' from 'vls' to 'v ls' (#5677)
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions