Unnamed repository; edit this file 'description' to name the repository.
| -rw-r--r-- | languages.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml index 5298c29a..0d9cb59a 100644 --- a/languages.toml +++ b/languages.toml @@ -69,7 +69,7 @@ markdown-oxide = { command = "markdown-oxide" } marksman = { command = "marksman", args = ["server"] } metals = { command = "metals", config = { "isHttpEnabled" = true, metals = { inlayHints = { typeParameters = {enable = true} , hintsInPatternMatch = {enable = true} } } } } mesonlsp = { command = "mesonlsp", args = ["--lsp"] } -mint = { command = "mint", args = ["ls"] } +mint = { command = "mint", args = ["tool", "ls"] } mojo-lsp = { command = "magic", args = ["run", "mojo-lsp-server"] } nil = { command = "nil" } nimlangserver = { command = "nimlangserver" } |