From cf0f2201e4ecbf59b5ee130b69e15577fd5ca636 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 1 Feb 2021 00:11:59 +0100
Subject: [PATCH] fix build

---
 build.gradle.kts  | 5 +++--
 gradle.properties | 4 ++--
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/build.gradle.kts b/build.gradle.kts
index bbfd520..c283684 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -46,14 +46,15 @@ version = pluginVersion
 repositories {
     mavenCentral()
     jcenter()
+    maven(url="https://www.jetbrains.com/intellij-repository/releases")
 }
 
 // Configure gradle-intellij-plugin plugin.
 // Read more: https://github.com/JetBrains/gradle-intellij-plugin
 intellij {
     pluginName = pluginName_
-//    version = platformVersion
-//    type = platformType
+    version = platformVersion
+    type = platformType
     downloadSources = platformDownloadSources.toBoolean()
     updateSinceUntilBuild = true
 
diff --git a/gradle.properties b/gradle.properties
index a548210..98ab019 100644
--- a/gradle.properties
+++ b/gradle.properties
@@ -8,10 +8,10 @@ pluginSinceBuild = 201
 pluginUntilBuild = 203.*
 # Plugin Verifier integration -> https://github.com/JetBrains/gradle-intellij-plugin#plugin-verifier-dsl
 # See https://jb.gg/intellij-platform-builds-list for available build versions
-pluginVerifierIdeVersions = 2020.3.1
+pluginVerifierIdeVersions = 2020.3.2
 
 platformType = IC
-platformVersion = 2020.2.4
+platformVersion = 2020.3.2
 platformDownloadSources = true
 # Plugin Dependencies -> https://www.jetbrains.org/intellij/sdk/docs/basics/plugin_structure/plugin_dependencies.html
 # Example: platformPlugins = com.intellij.java, com.jetbrains.php:203.4449.22
-- 
GitLab