chore(deps): update plugin org.jetbrains.intellij to v1.13.2

This commit is contained in:
renovate[bot] 2023-03-10 13:54:04 +00:00 committed by GitHub
parent 08d7ca3fe0
commit d7aed29ef1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,7 +5,7 @@ fun properties(key: String) = project.findProperty(key).toString()
plugins {
id("java")
id("org.jetbrains.intellij") version "1.13.1"
id("org.jetbrains.intellij") version "1.13.2"
id("org.jetbrains.changelog") version "2.0.0"
}