diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2025-04-18 17:44:38 +0200 |
|---|---|---|
| committer | Justin M. Keyes <justinkz@gmail.com> | 2025-04-18 17:44:38 +0200 |
| commit | f8b5cbe6312b568def1f91d747e2cdb8984fdf2e (patch) | |
| tree | c1baf319b22d8ccc7d3468276b5ba9a26dfa2775 /lsp/dolmenls.lua | |
| parent | feat: angularls #3746 (diff) | |
| download | nvim-lspconfig-f8b5cbe6312b568def1f91d747e2cdb8984fdf2e.tar nvim-lspconfig-f8b5cbe6312b568def1f91d747e2cdb8984fdf2e.tar.gz nvim-lspconfig-f8b5cbe6312b568def1f91d747e2cdb8984fdf2e.tar.bz2 nvim-lspconfig-f8b5cbe6312b568def1f91d747e2cdb8984fdf2e.tar.lz nvim-lspconfig-f8b5cbe6312b568def1f91d747e2cdb8984fdf2e.tar.xz nvim-lspconfig-f8b5cbe6312b568def1f91d747e2cdb8984fdf2e.tar.zst nvim-lspconfig-f8b5cbe6312b568def1f91d747e2cdb8984fdf2e.zip | |
docs: cleanup
- brief should live at the top of each file
- fix indentation for some docs
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' }, |