diff options
Diffstat (limited to 'start/lspconfig-0.1.3/lua/lspconfig/server_configurations/mm0_ls.lua')
-rw-r--r-- | start/lspconfig-0.1.3/lua/lspconfig/server_configurations/mm0_ls.lua | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/mm0_ls.lua b/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/mm0_ls.lua deleted file mode 100644 index 513bbeb..0000000 --- a/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/mm0_ls.lua +++ /dev/null @@ -1,20 +0,0 @@ -local util = require 'lspconfig.util' - -return { - default_config = { - cmd = { 'mm0-rs', 'server' }, - root_dir = util.find_git_ancestor, - filetypes = { 'metamath-zero' }, - single_file_support = true, - }, - docs = { - description = [[ -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`. - ]], - }, -} |