diff --git a/bin/install b/bin/install index b7206772..ffb886e8 160000 --- a/bin/install +++ b/bin/install @@ -1 +1 @@ -Subproject commit b72067728989bfa5bc4ae512e819c1f423353b0a +Subproject commit ffb886e8824229c5e43da7a6fc2f0a75310d752f diff --git a/versions.properties b/versions.properties index 8a434efc..28f593a2 100644 --- a/versions.properties +++ b/versions.properties @@ -56,7 +56,7 @@ org.sireum.version.plugin.sireum-intellij-asm=true,false,9.7.1 org.sireum.version.plugin.terminal=true,false,581339 org.sireum.version.plugin.texify=true,false,570666 org.sireum.version.plugin.toml=true,false,579483 -org.sireum.version.plugin.zigbrains=true,false,620215 +org.sireum.version.plugin.zigbrains=true,false,624013 # VSCodium Extensions org.sireum.version.vscodium.extension=4.20241016.b28ac16