diff options
Diffstat (limited to 'lsp/dolmenls.lua')
| -rw-r--r-- | lsp/dolmenls.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lsp/dolmenls.lua b/lsp/dolmenls.lua index c0eefb4d..ec0981bc 100644 --- a/lsp/dolmenls.lua +++ b/lsp/dolmenls.lua @@ -6,6 +6,7 @@ --- ```sh --- opam install dolmen_lsp --- ``` +---@type vim.lsp.Config return { cmd = { 'dolmenls' }, filetypes = { 'smt2', 'tptp', 'p', 'cnf', 'icnf', 'zf' }, |