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/mm0_ls.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/mm0_ls.lua')
| -rw-r--r-- | lsp/mm0_ls.lua | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lsp/mm0_ls.lua b/lsp/mm0_ls.lua index 2c58415b..aa8c480d 100644 --- a/lsp/mm0_ls.lua +++ b/lsp/mm0_ls.lua @@ -1,11 +1,11 @@ ---@brief --- --- https://github.com/digama0/mm0 --- --- Language Server for the metamath-zero theorem prover. --- --- Requires [mm0-rs](https://github.com/digama0/mm0/tree/master/mm0-rs) to be installed --- and available on the `PATH`. +--- https://github.com/digama0/mm0 +--- +--- Language Server for the metamath-zero theorem prover. +--- +--- Requires [mm0-rs](https://github.com/digama0/mm0/tree/master/mm0-rs) to be installed +--- and available on the `PATH`. return { cmd = { 'mm0-rs', 'server' }, root_markers = { '.git' }, |