bump vscode-lean4

abentkamp · abentkamp · commit 5ca3225f4380 · 2024-07-30T09:02:51.000+02:00
diff --git a/src/vscode-lean4 b/src/vscode-lean4
@@ -1 +1 @@
-Subproject commit 27531bfdbd6b72af746afa7ba785224f36e44823
+Subproject commit 345d98e518f87462d08b481b07ce2e2abe23b6be
