From 3a5712dd987233c578d35ae2feb4b5bc83085582 Mon Sep 17 00:00:00 2001 From: Jaime Wren Date: Tue, 26 Aug 2025 20:14:14 -0700 Subject: [PATCH] Update org.jetbrains.intellij.platform to 2.7.2 https://plugins.gradle.org/plugin/org.jetbrains.intellij.platform --- third_party/build.gradle.kts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/third_party/build.gradle.kts b/third_party/build.gradle.kts index c0e2dfb2d..b995d53f4 100644 --- a/third_party/build.gradle.kts +++ b/third_party/build.gradle.kts @@ -17,7 +17,7 @@ allprojects { plugins { id("java") // Java support id("org.jetbrains.kotlin.jvm") version "2.2.0" // Kotlin support - id("org.jetbrains.intellij.platform") version "2.7.0" // IntelliJ Platform Gradle Plugin + id("org.jetbrains.intellij.platform") version "2.7.2" // IntelliJ Platform Gradle Plugin } // Configure project's dependencies