Update to 2024.2.3

JetBrains · Oct 1, 2024 · 98eb0b8 · 98eb0b8
1 parent 7ae731c
commit 98eb0b8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -12,7 +12,7 @@ import org.jetbrains.kotlin.gradle.dsl.KotlinVersion
 
 val projectArend = gradle.includedBuild("Arend")
 group = "org.arend.lang"
-version = "1.10.0.1"
+version = "1.10.0.2"
 
 plugins {
     idea
@@ -38,7 +38,7 @@ dependencies {
     testCompileOnly("junit:junit:4.13.1")
 
     intellijPlatform {
-        create(IntelliJPlatformType.IntellijIdeaCommunity, "2024.2.1")
+        create(IntelliJPlatformType.IntellijIdeaCommunity, "2024.2.3")
         instrumentationTools()
         bundledPlugins("org.jetbrains.plugins.yaml", "com.intellij.java")
         plugins("IdeaVIM:2.16.0")