Fixed install of IntelliJ plugins (#648)

Their REST API changed a little.
gantsign · Jan 19, 2020 · db6c482 · db6c482
1 parent 6faeefb
commit db6c482
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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