From 4219a6dc42115a5f99aeec0283b87df4534cd876 Mon Sep 17 00:00:00 2001 From: roboquat Date: Thu, 8 Sep 2022 11:00:55 +0000 Subject: [PATCH] Update Platform Version of JetBrains Gateway Plugin to 222.4167.20-CUSTOM-SNAPSHOT --- components/ide/jetbrains/gateway-plugin/gradle.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/ide/jetbrains/gateway-plugin/gradle.properties b/components/ide/jetbrains/gateway-plugin/gradle.properties index 8e52ad201914e2..78abf24cbe9baa 100644 --- a/components/ide/jetbrains/gateway-plugin/gradle.properties +++ b/components/ide/jetbrains/gateway-plugin/gradle.properties @@ -14,7 +14,7 @@ pluginVerifierIdeVersions=2022.1, 2022.2 # IntelliJ Platform Properties -> https://plugins.jetbrains.com/docs/intellij/tools-gradle-intellij-plugin.html#intellij-extension-type platformType=GW # Version from "com.jetbrains.gateway" which can be found at https://www.jetbrains.com/intellij-repository/snapshots -platformVersion=222.4167.9-CUSTOM-SNAPSHOT +platformVersion=222.4167.20-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