1 files changed, 0 insertions, 10 deletions
diff --git a/nvim/lsp/fstar.lua b/nvim/lsp/fstar.lua
deleted file mode 100755
index 2921621..0000000
--- a/nvim/lsp/fstar.lua
+++ /dev/null
@@ -1,10 +0,0 @@
----@brief
----
---- https://github.com/FStarLang/FStar
----
---- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
-return {
-  cmd = { 'fstar.exe', '--lsp' },
-  filetypes = { 'fstar' },
-  root_markers = { '.git' },
-}