From e24d9dd195238afd1efa1f3111b2fe49c0c8718f 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 | 1 -
 1 file changed, 1 deletion(-)

diff --git a/vimrc b/vimrc
index 603b13d..8e2cb83 100644
--- a/vimrc
+++ b/vimrc
@@ -225,7 +225,6 @@ lua <<EOF
       init_options = {
         semanticHighlighting = true,
       },
-      cmd = {"lean", "--server"},
     },
   }