diff options
| author | simon-dima <126682907+simon-dima@users.noreply.github.com> | 2025-11-16 18:34:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-16 09:34:39 -0800 |
| commit | a665b99dcd71b6763e9a8484cf77af7134a7a94f (patch) | |
| tree | c068c03192ca32a013cc585e02b60021c098da47 /lsp/vscoqtop.lua | |
| parent | docs: add deprecation notice to lua/lspconfig/configs #4189 (diff) | |
| download | nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.gz nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.bz2 nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.lz nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.xz nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.zst nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.zip | |
feat: vsrocq, rename "vscoqtop" config #4176
Diffstat (limited to 'lsp/vscoqtop.lua')
| -rw-r--r-- | lsp/vscoqtop.lua | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lsp/vscoqtop.lua b/lsp/vscoqtop.lua index bfa8a613..41b38eb4 100644 --- a/lsp/vscoqtop.lua +++ b/lsp/vscoqtop.lua @@ -3,8 +3,4 @@ --- https://github.com/coq-community/vscoq ---@type vim.lsp.Config -return { - cmd = { 'vscoqtop' }, - filetypes = { 'coq' }, - root_markers = { '_CoqProject', '.git' }, -} +error("The 'vscoqtop' config has been renamed to 'vsrocq'.") |