diff options
author | renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> | 2024-03-31 11:52:12 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-31 11:52:12 +0000 |
commit | a4295e7c6f3fd7771019c780322287501fb41d54 (patch) | |
tree | 35663b846af693bb41ca2761963a98b00c23670f | |
parent | 3d12021da4813cd54da186ee66b79641b9a0587d (diff) |
Update plugin org.jetbrains.intellij to v1.17.3
-rw-r--r-- | integration/intellij/build.gradle.kts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/integration/intellij/build.gradle.kts b/integration/intellij/build.gradle.kts index 6af7a48c0c1..89101020920 100644 --- a/integration/intellij/build.gradle.kts +++ b/integration/intellij/build.gradle.kts @@ -4,7 +4,7 @@ import org.jetbrains.grammarkit.tasks.GenerateParserTask plugins { id("java-library") - id("org.jetbrains.intellij") version "1.17.2" + id("org.jetbrains.intellij") version "1.17.3" id("org.jetbrains.grammarkit") version "2022.3.2.2" id("maven-publish") // to deploy the plugin into a Maven repo } |