Update IntelliJ Platform plugin to 2.7.2

jshiell · jshiell · commit d6a6a3d1aee3 · 2025-08-18T12:20:32.000+01:00
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -14,7 +14,7 @@ plugins {
     id("java")
     id("jacoco")
     id("idea")
-    id("org.jetbrains.intellij.platform") version "2.7.0"
+    id("org.jetbrains.intellij.platform") version "2.7.2"
 
     id("org.infernus.idea.checkstyle.build")
 }

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ plugins {`
`14`	`14`	`id("java")`
`15`	`15`	`id("jacoco")`
`16`	`16`	`id("idea")`
`17`		`- id("org.jetbrains.intellij.platform") version "2.7.0"`
	`17`	`+ id("org.jetbrains.intellij.platform") version "2.7.2"`
`18`	`18`
`19`	`19`	`id("org.infernus.idea.checkstyle.build")`
`20`	`20`	`}`