chore: add more servers to skipped_servers

This commit is contained in:
LostNeophyte 2023-11-27 15:06:58 +01:00 committed by GitHub
parent bbd4eb63aa
commit 890e3e1f60
WARNING! Although there is a key with this ID in the database it does not verify this commit! This commit is SUSPICIOUS.
GPG key ID: 4AEE18F83AFDEB23

View file

@ -20,6 +20,7 @@ local skipped_servers = {
"golangci_lint_ls", "golangci_lint_ls",
"gradle_ls", "gradle_ls",
"graphql", "graphql",
"htmx",
"java_language_server", "java_language_server",
"jedi_language_server", "jedi_language_server",
"ltex", "ltex",
@ -51,6 +52,7 @@ local skipped_servers = {
"sqlls", "sqlls",
"sqls", "sqls",
"standardrb", "standardrb",
"stimulus_ls",
"stylelint_lsp", "stylelint_lsp",
"svlangserver", "svlangserver",
"tflint", "tflint",