From 0a1f7710c17b9cebd40f3838a1b6c53c99ca536f Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Wed, 6 Apr 2022 18:54:01 +0200
Subject: [PATCH] vim: lean

---
 vimrc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/vimrc b/vimrc
index 603b13d..8005837 100644
--- a/vimrc
+++ b/vimrc
@@ -209,7 +209,7 @@ lua <<EOF
     },
     mappings = true,
     infoview = {
-      autoopen = false,
+      -- autoopen = false,
     },
     -- treesitter = {},
     lsp = {
@@ -225,7 +225,6 @@ lua <<EOF
       init_options = {
         semanticHighlighting = true,
       },
-      cmd = {"lean", "--server"},
     },
   }