mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 13:39:36 +07:00
4f5dbd65a4
+ get rid of python plugin without auxiliary plugins inside GitOrigin-RevId: 4a74b542be95aa012b7d74755bfffab21c8c0cfe
11 lines
388 B
XML
11 lines
388 B
XML
<idea-plugin xmlns:xi="http://www.w3.org/2001/XInclude">
|
|
<name>Python ReStructureText Integration</name>
|
|
<id>org.jetbrains.plugins.python-rest</id>
|
|
<vendor>JetBrains</vendor>
|
|
<depends>com.intellij.modules.pycharm</depends>
|
|
<depends>org.jetbrains.plugins.rest</depends>
|
|
|
|
<xi:include href="/META-INF/python-rest-plugin.xml" xpointer="xpointer(/idea-plugin/*)"/>
|
|
|
|
</idea-plugin>
|