1 files changed, 0 insertions, 19 deletions
diff --git a/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/fstar.lua b/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/fstar.lua
deleted file mode 100644
index d866c54..0000000
--- a/start/lspconfig-0.1.3/lua/lspconfig/server_configurations/fstar.lua
+++ /dev/null
@@ -1,19 +0,0 @@
-local util = require 'lspconfig.util'
-
-return {
-  default_config = {
-    cmd = { 'fstar.exe', '--lsp' },
-    filetypes = { 'fstar' },
-    root_dir = util.find_git_ancestor,
-  },
-  docs = {
-    description = [[
-https://github.com/FStarLang/FStar
-
-LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
-]],
-    default_config = {
-      root_dir = [[util.find_git_ancestor]],
-    },
-  },
-}