From: Liana Bakradze Date: Fri, 5 Feb 2016 15:30:56 +0000 (+0300) Subject: EDU-525 Empty Editor shouldn't be replaced in educational plugins X-Git-Tag: appcode/144.3789~1 X-Git-Url: https://git.jetbrains.org/?p=idea%2Fcommunity.git;a=commitdiff_plain;h=79061c0261a54d10feef3c8723a647d4347dba11 EDU-525 Empty Editor shouldn't be replaced in educational plugins --- diff --git a/python/educational-core/student/resources/META-INF/plugin.xml b/python/educational-core/student/resources/META-INF/plugin.xml index a0262134144f..69bf7433d7df 100644 --- a/python/educational-core/student/resources/META-INF/plugin.xml +++ b/python/educational-core/student/resources/META-INF/plugin.xml @@ -86,8 +86,6 @@ - diff --git a/python/educational-python/src/META-INF/PyCharmEduPlugin.xml b/python/educational-python/src/META-INF/PyCharmEduPlugin.xml index a8aa6f578763..d4878edd51b5 100644 --- a/python/educational-python/src/META-INF/PyCharmEduPlugin.xml +++ b/python/educational-python/src/META-INF/PyCharmEduPlugin.xml @@ -23,6 +23,8 @@ +