From 3cf2970622adfe9a8ed028c18c2821bd455b686a Mon Sep 17 00:00:00 2001 From: Asher Date: Wed, 29 Mar 2023 13:58:30 -0800 Subject: [PATCH] Bump platform version Seems we are not able to use the dev command without doing this as it hard aborts saying the version is too old. --- gradle.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gradle.properties b/gradle.properties index 1c235a6f..c93d5165 100644 --- a/gradle.properties +++ b/gradle.properties @@ -11,8 +11,8 @@ pluginUntilBuild=231.* # IntelliJ Platform Properties -> https://github.com/JetBrains/gradle-intellij-plugin#intellij-platform-properties # Gateway available build versions https://www.jetbrains.com/intellij-repository/snapshots and https://www.jetbrains.com/intellij-repository/releases platformType=GW -platformVersion=231.7665.28-CUSTOM-SNAPSHOT -instrumentationCompiler=231.7665.28-CUSTOM-SNAPSHOT +platformVersion=231.8109.172-CUSTOM-SNAPSHOT +instrumentationCompiler=231.8109.172-CUSTOM-SNAPSHOT platformDownloadSources=true # Plugin Dependencies -> https://plugins.jetbrains.com/docs/intellij/plugin-dependencies.html # Example: platformPlugins = com.intellij.java, com.jetbrains.php:203.4449.22