From f0401050b4d5874071c3bc571297f42697f90eb2 Mon Sep 17 00:00:00 2001 From: Alexander Koshevoy Date: Fri, 6 Oct 2017 23:40:11 +0300 Subject: [PATCH] SSH.xml inclusion moved from RichPlatformPlugin.xml to IU plugin.xml --- resources/src/idea/RichPlatformPlugin.xml | 3 --- 1 file changed, 3 deletions(-) diff --git a/resources/src/idea/RichPlatformPlugin.xml b/resources/src/idea/RichPlatformPlugin.xml index b6ff61e8059e..a016af51cc54 100644 --- a/resources/src/idea/RichPlatformPlugin.xml +++ b/resources/src/idea/RichPlatformPlugin.xml @@ -431,9 +431,6 @@ - - -