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

This commit is contained in:
renovate[bot] 2023-02-11 02:36:17 +00:00 committed by GitHub
parent ee58c9be0d
commit 23a260f1b4
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.12.0"
id("org.jetbrains.intellij") version "1.13.0"
id("org.jetbrains.changelog") version "2.0.0"
}