# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1727869905 -7200
# Node ID e0327a38bf4dd30650c613aa41e57849fa01ba9d
# Parent  9c2628a73a3a12ea4652a0268fc2cbe44d06a897
updated vscode_extension;

diff -r 9c2628a73a3a -r e0327a38bf4d Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 02 13:50:01 2024 +0200
+++ b/Admin/components/components.sha1	Wed Oct 02 13:51:45 2024 +0200
@@ -553,6 +553,7 @@
 86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz
 5293b9e77e5c887d449b671828b133fad4f18632 vscode_extension-20220829.tar.gz
 0d9551ffeb968813b6017278fa7ab9bd6062883f vscode_extension-20230206.tar.gz
+0630f00067dc973dab4c9274c56b79c973c5c494 vscode_extension-20241002.tar.gz
 67b271186631f84efd97246bf85f6d8cfaa5edfd vscodium-1.65.2.tar.gz
 c439ab741e0cc49354cc03aa9af501202a5a38e3 vscodium-1.70.1.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a windows_app-20130716.tar.gz
diff -r 9c2628a73a3a -r e0327a38bf4d Admin/components/main
--- a/Admin/components/main	Wed Oct 02 13:50:01 2024 +0200
+++ b/Admin/components/main	Wed Oct 02 13:51:45 2024 +0200
@@ -37,7 +37,7 @@
 stack-2.15.5
 vampire-4.8
 verit-2021.06.2-rmx-1
-vscode_extension-20230206
+vscode_extension-20241002
 vscodium-1.70.1
 xz-java-1.9
 z3-4.4.0pre-4