vim: lean

2022-04-06 18:54:01 +02:00 · 2022-04-06 18:54:01 +02:00 · e24d9dd195
parent 5be0bb8b83
commit e24d9dd195
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -225,7 +225,6 @@ lua <<EOF
      init_options = {
        semanticHighlighting = true,
      },
      cmd = {"lean", "--server"},
    },
  }