From f8b5cbe6312b568def1f91d747e2cdb8984fdf2e Mon Sep 17 00:00:00 2001
From: "Justin M. Keyes" <justinkz@gmail.com>
Date: Fri, 18 Apr 2025 17:44:38 +0200
Subject: docs: cleanup

- brief should live at the top of each file
- fix indentation for some docs
---
 lsp/fstar.lua | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lsp/fstar.lua')

diff --git a/lsp/fstar.lua b/lsp/fstar.lua
index 4010873e..29216217 100644
--- a/lsp/fstar.lua
+++ b/lsp/fstar.lua
@@ -1,8 +1,8 @@
 ---@brief
 ---
--- https://github.com/FStarLang/FStar
---
--- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
+--- https://github.com/FStarLang/FStar
+---
+--- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH.
 return {
   cmd = { 'fstar.exe', '--lsp' },
   filetypes = { 'fstar' },
-- 
cgit v1.2.3-70-g09d2