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/src/guides | |
| 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/src/guides')
| -rw-r--r-- | book/src/guides/adding_languages.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/guides/adding_languages.md b/book/src/guides/adding_languages.md index b92af402..93ec013f 100644 --- a/book/src/guides/adding_languages.md +++ b/book/src/guides/adding_languages.md @@ -9,6 +9,7 @@ below. necessary configuration for the new language. For more information on language configuration, refer to the [language configuration section](../languages.md) of the documentation. + A new language server can be added by extending the `[language-server]` table in the same file. 2. If you are adding a new language or updating an existing language server configuration, run the command `cargo xtask docgen` to update the [Language Support](../lang-support.md) documentation. |