aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorXChy <xxs_chy@outlook.com>2024-04-22 09:32:56 +0800
committerGitHub <noreply@github.com>2024-04-22 03:32:56 +0200
commit4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b (patch)
treedb081693ed8067d6eb6b66ac01f0ad101e24cf3d /README.md
parentfeat: add gitlab-ci-ls (#391) (diff)
downloadmason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.gz
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.bz2
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.lz
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.xz
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.tar.zst
mason-lspconfig-4b9cbbbe34ddcfc4855eca1d0488bbdfb3c3d33b.zip
feat: add `coq_lsp` support (#393)
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index c7eed8f..402d613 100644
--- a/README.md
+++ b/README.md
@@ -204,6 +204,7 @@ local DEFAULT_SETTINGS = {
| Clarity | `clarity_lsp` |
| Clojure | `clojure_lsp` |
| CodeQL | `codeqlls` |
+| Coq | `coq_lsp` |
| Autoconf | `autotools_ls` |
| Crystal | `crystalline` |
| Cucumber | `cucumber_language_server` |