From 2fb4b6a2f3188f12bad5196e1978528d8bd1c733 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Fri, 22 Oct 2021 08:44:57 +0000
Subject: docs: update CONFIG.md skip-checks: true

---
 CONFIG.md | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

(limited to 'CONFIG.md')

diff --git a/CONFIG.md b/CONFIG.md
index 35bf7055..7d242865 100644
--- a/CONFIG.md
+++ b/CONFIG.md
@@ -36,6 +36,7 @@ that config.
 - [flux-lsp](#flux-lsp)
 - [fortls](#fortls)
 - [fsautocomplete](#fsautocomplete)
+- [fstar](#fstar)
 - [gdscript](#gdscript)
 - [ghcide](#ghcide)
 - [gopls](#gopls)
@@ -2168,6 +2169,31 @@ require'lspconfig'.fsautocomplete.setup{}
 ```
 
 
+## fstar
+
+https://github.com/FStarLang/FStar
+
+LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
+```
+    
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.fstar.setup{}
+```
+
+**Commands and default values:**
+```lua
+  Commands:
+  
+  Default Values:
+    cmd = { "fstar.exe", "--lsp" }
+    filetypes = { "fstar" }
+    root_dir = root_pattern(".git")
+```
+
+
 ## gdscript
 
 https://github.com/godotengine/godot
-- 
cgit v1.2.3-70-g09d2