1 files changed, 0 insertions, 13 deletions
diff --git a/nvim/lsp/dolmenls.lua b/nvim/lsp/dolmenls.lua
deleted file mode 100755
index c0eefb4..0000000
--- a/nvim/lsp/dolmenls.lua
+++ /dev/null
@@ -1,13 +0,0 @@
----@brief
----
---- 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' },
-  root_markers = { '.git' },
-}