mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
44 lines
1.1 KiB
XML
44 lines
1.1 KiB
XML
<idea-plugin version="2">
|
|
<id>com.jetbrains.edu.interactivelearning.intellij</id>
|
|
<name>Educational plugin for Intellij</name>
|
|
<version>2.0</version>
|
|
|
|
<description><![CDATA[
|
|
Educational plugin core for students.
|
|
]]></description>
|
|
|
|
<change-notes><![CDATA[
|
|
|
|
]]>
|
|
</change-notes>
|
|
|
|
<depends>com.intellij.modules.python</depends>
|
|
<depends>com.jetbrains.edu.interactivelearning</depends>
|
|
<depends>com.jetbrains.python.edu.interactivelearning.python</depends>
|
|
|
|
<!-- please see http://confluence.jetbrains.net/display/IDEADEV/Plugin+Compatibility+with+IntelliJ+Platform+Products
|
|
on how to target different products -->
|
|
|
|
<depends>com.intellij.modules.lang</depends>
|
|
|
|
<project-components>
|
|
|
|
</project-components>
|
|
|
|
<application-components>
|
|
|
|
</application-components>
|
|
|
|
<actions>
|
|
|
|
</actions>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<projectTemplatesFactory implementation="EduProjectTemplateFactory"/>
|
|
</extensions>
|
|
|
|
<extensionPoints>
|
|
<extensionPoint name="EduProjectTemplate" interface="EduProjectTemplate"/>
|
|
</extensionPoints>
|
|
|
|
</idea-plugin> |