From 522d56557b00246286d803425751a4334f3a94a5 Mon Sep 17 00:00:00 2001 From: Michael Smith Date: Mon, 15 Jul 2024 20:05:47 +0100 Subject: Update lspconfig, add indent-blankline indent-blankline is probably old because I've actually been using it for ages, but I have a strict if-it-ain't-broke policy, so I'm not going to update it. lspconfig *was* broke though with nvim 0.10, so now it's fixed. --- .../lua/lspconfig/server_configurations/fstar.lua | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 start/lspconfig-0.1.3/lua/lspconfig/server_configurations/fstar.lua (limited to 'start/lspconfig-0.1.3/lua/lspconfig/server_configurations/fstar.lua') 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]], - }, - }, -} -- cgit v1.2.3