From c67832fc2db1aaa8b511b2ba97ff86f5b7d1937e Mon Sep 17 00:00:00 2001 From: meanmail Date: Fri, 7 Apr 2017 07:31:14 +0700 Subject: [PATCH] Merge plugin.xml --- .../resources/META-INF/plugin.xml | 19 +++++++------------ 1 file changed, 7 insertions(+), 12 deletions(-) diff --git a/python/educational-core/resources/META-INF/plugin.xml b/python/educational-core/resources/META-INF/plugin.xml index 1f517fe20d7b..5890a75bf8fd 100644 --- a/python/educational-core/resources/META-INF/plugin.xml +++ b/python/educational-core/resources/META-INF/plugin.xml @@ -40,16 +40,14 @@ - + - + @@ -72,9 +70,8 @@ description="Navigate to the next task"/> - - + + @@ -160,15 +157,13 @@ + serviceImplementation="com.jetbrains.edu.learning.StudyDocumentationManager" overrides="true"/> - - + +