chore(deps): update plugin org.gretty to v4

big-unibo · Feb 7, 2025 · e0cb3d9 · e0cb3d9
1 parent a8b4c85
commit e0cb3d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/intentional/build.gradle b/intentional/build.gradle
@@ -3,7 +3,7 @@ plugins {
     id 'war'
     id 'antlr'
     id 'org.jetbrains.kotlin.jvm' version '2.0.21'
-    id 'org.gretty' version '3.1.5'
+    id 'org.gretty' version '4.1.6'
     id 'com.github.johnrengelman.shadow' version '6.1.0'
 }