Unnamed repository; edit this file 'description' to name the repository.
Remove lean server memory limit (#14075)
| -rw-r--r-- | languages.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml index 6cd5d5f5..b3460b74 100644 --- a/languages.toml +++ b/languages.toml @@ -67,7 +67,7 @@ koka = { command = "koka", args = ["--language-server", "--lsstdio"] } koto-ls = { command = "koto-ls" } kotlin-lsp = { command = "kotlin-lsp", args = ["--stdio"] } kotlin-language-server = { command = "kotlin-language-server" } -lean = { command = "lean", args = [ "--server", "--memory=1024" ] } +lean = { command = "lean", args = ["--server"] } ltex-ls = { command = "ltex-ls" } ltex-ls-plus = { command = "ltex-ls-plus" } markdoc-ls = { command = "markdoc-ls", args = ["--stdio"] } |