aboutsummaryrefslogtreecommitdiffstats
path: root/lua/lspconfig/fstar.lua
diff options
context:
space:
mode:
authorJames Trew <66286082+jamestrew@users.noreply.github.com>2021-11-02 21:22:21 -0400
committerGitHub <noreply@github.com>2021-11-02 18:22:21 -0700
commit69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381 (patch)
tree9786c0e2bf370c35de0cfd9df787c6fc1b529b48 /lua/lspconfig/fstar.lua
parentdocs: update CONFIG.md (diff)
downloadnvim-lspconfig-69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381.tar
nvim-lspconfig-69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381.tar.gz
nvim-lspconfig-69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381.tar.bz2
nvim-lspconfig-69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381.tar.lz
nvim-lspconfig-69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381.tar.xz
nvim-lspconfig-69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381.tar.zst
nvim-lspconfig-69b6e9c9a09dcd8aa0977bc0f0792def6fd6f381.zip
docs: fix broken codeblocks in descriptions (#1366)
Diffstat (limited to 'lua/lspconfig/fstar.lua')
-rw-r--r--lua/lspconfig/fstar.lua3
1 files changed, 1 insertions, 2 deletions
diff --git a/lua/lspconfig/fstar.lua b/lua/lspconfig/fstar.lua
index 8618e070..af117ca1 100644
--- a/lua/lspconfig/fstar.lua
+++ b/lua/lspconfig/fstar.lua
@@ -12,8 +12,7 @@ configs.fstar = {
https://github.com/FStarLang/FStar
LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
-```
- ]],
+]],
default_config = {
root_dir = [[root_pattern(".git")]],
},