diff options
| author | Michael Lingelbach <m.j.lbach@gmail.com> | 2021-11-24 23:01:07 -0500 |
|---|---|---|
| committer | Michael Lingelbach <m.j.lbach@gmail.com> | 2021-11-25 23:46:21 -0500 |
| commit | 6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e (patch) | |
| tree | 7f2bf25ca5456b23304295dba8fe0005e85a5c10 /lua/lspconfig/fstar.lua | |
| parent | fix: only set cmd_cwd if filepath exists (#1485) (diff) | |
| download | nvim-lspconfig-6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e.tar nvim-lspconfig-6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e.tar.gz nvim-lspconfig-6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e.tar.bz2 nvim-lspconfig-6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e.tar.lz nvim-lspconfig-6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e.tar.xz nvim-lspconfig-6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e.tar.zst nvim-lspconfig-6c2fb86c6a03e20abea5ddd17d735885f0b7cb5e.zip | |
feat: expose configs
Diffstat (limited to 'lua/lspconfig/fstar.lua')
| -rw-r--r-- | lua/lspconfig/fstar.lua | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/lua/lspconfig/fstar.lua b/lua/lspconfig/fstar.lua deleted file mode 100644 index df94225b..00000000 --- a/lua/lspconfig/fstar.lua +++ /dev/null @@ -1,20 +0,0 @@ -local configs = require 'lspconfig/configs' -local util = require 'lspconfig/util' - -configs.fstar = { - 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]], - }, - }, -} |