1 files changed, 0 insertions, 13 deletions
diff --git a/nvim/lsp/mm0_ls.lua b/nvim/lsp/mm0_ls.lua
deleted file mode 100755
index aa8c480..0000000
--- a/nvim/lsp/mm0_ls.lua
+++ /dev/null
@@ -1,13 +0,0 @@
----@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`.
-return {
-  cmd = { 'mm0-rs', 'server' },
-  root_markers = { '.git' },
-  filetypes = { 'metamath-zero' },
-}