From db6c482f5c295d7cd700183e83ecf6460ed50715 Mon Sep 17 00:00:00 2001
From: John Freeman <john.freeman.opensource@gmail.com>
Date: Sun, 19 Jan 2020 14:10:29 +0000
Subject: [PATCH] Fixed install of IntelliJ plugins (#648)

Their REST API changed a little.
---
 provisioning/requirements.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/provisioning/requirements.yml b/provisioning/requirements.yml
index 3a67780b..2bfb6b46 100644
--- a/provisioning/requirements.yml
+++ b/provisioning/requirements.yml
@@ -43,7 +43,7 @@
 - src: gantsign.intellij_jdks
   version: '1.0.1'
 - src: gantsign.intellij-plugins
-  version: '2.0.1'
+  version: '2.0.2'
 - src: gantsign.java
   version: '8.1.1'
 - src: gantsign.keyboard