diff options
Diffstat (limited to 'lsp/dolmenls.lua')
| -rw-r--r-- | lsp/dolmenls.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lsp/dolmenls.lua b/lsp/dolmenls.lua index 1097f3d5..c0eefb4d 100644 --- a/lsp/dolmenls.lua +++ b/lsp/dolmenls.lua @@ -1,11 +1,11 @@ ---@brief --- --- https://github.com/Gbury/dolmen/blob/master/doc/lsp.md --- --- `dolmenls` can be installed via `opam` --- ```sh --- opam install dolmen_lsp --- ``` +--- https://github.com/Gbury/dolmen/blob/master/doc/lsp.md +--- +--- `dolmenls` can be installed via `opam` +--- ```sh +--- opam install dolmen_lsp +--- ``` return { cmd = { 'dolmenls' }, filetypes = { 'smt2', 'tptp', 'p', 'cnf', 'icnf', 'zf' }, |