mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
remove redundant plugin educational-core
This commit is contained in:
@@ -11,18 +11,12 @@
|
||||
<change-notes><![CDATA[
|
||||
]]>
|
||||
</change-notes>
|
||||
<!-- please see https://confluence.jetbrains.com/display/IDEADEV/Build+Number+Ranges for description -->
|
||||
|
||||
<!-- please see https://confluence.jetbrains.com/display/IDEADEV/Plugin+Compatibility+with+IntelliJ+Platform+Products
|
||||
on how to target different products -->
|
||||
<!-- uncomment to enable plugin in all products
|
||||
<depends>com.intellij.modules.lang</depends>
|
||||
-->
|
||||
|
||||
<depends>com.intellij.modules.platform</depends>
|
||||
<depends>com.intellij.modules.python</depends>
|
||||
<depends>com.jetbrains.edu.coursecreator</depends>
|
||||
<depends>com.jetbrains.edu.core</depends>
|
||||
<depends>com.jetbrains.edu.interactivelearning</depends>
|
||||
<depends>com.jetbrains.python.edu.interactivelearning.python</depends>
|
||||
<depends>com.jetbrains.python.edu.core</depends>
|
||||
|
||||
<extensions defaultExtensionNs="com.intellij">
|
||||
|
||||
Reference in New Issue
Block a user