diff options
Diffstat (limited to 'lsp')
| -rw-r--r-- | lsp/vscoqtop.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lsp/vscoqtop.lua b/lsp/vscoqtop.lua index 41b38eb4..78186c51 100644 --- a/lsp/vscoqtop.lua +++ b/lsp/vscoqtop.lua @@ -1,6 +1,8 @@ ---@brief --- ---- https://github.com/coq-community/vscoq +--- Renamed to [vsrocq](#vsrocq) + +vim.deprecate('vscoqtop', 'vsrocq', '2.0.0', 'nvim-lspconfig', false) ---@type vim.lsp.Config -error("The 'vscoqtop' config has been renamed to 'vsrocq'.") +return vim.lsp.config.vsrocq |