diff options
| author | Blaž Hrastnik | 2023-05-19 00:39:35 +0000 |
|---|---|---|
| committer | GitHub | 2023-05-19 00:39:35 +0000 |
| commit | 53f47bc47771c94dab51626ca025be28e62eba0c (patch) | |
| tree | c8f5c59d40d1ecde227c209f898cc7afd6da5477 /book/theme | |
| parent | 7f5940be80eaa3aec7903903072b7108f41dd97b (diff) | |
| parent | 2a512f7c487f0a707a7eb158e24bd478433bcd91 (diff) | |
Merge pull request #2507 from Philipp-M/multiple-language-servers
Add support for multiple language servers per language
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions