diff options
Diffstat (limited to 'lua/lspconfig/configs/fstar.lua')
| -rw-r--r-- | lua/lspconfig/configs/fstar.lua | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lua/lspconfig/configs/fstar.lua b/lua/lspconfig/configs/fstar.lua index d866c544..80e092da 100644 --- a/lua/lspconfig/configs/fstar.lua +++ b/lua/lspconfig/configs/fstar.lua @@ -12,8 +12,5 @@ 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]], - }, }, } |