MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Python plugin depends on coverage

Browse Source
This commit is contained in:
Dmitry Jemerov
2011-09-26 12:16:10 +02:00
parent 06b76134c0
commit bfae1b87ec
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/pluginSrc/META-INF/plugin.xml
+1
View File
@@ -9,6 +9,7 @@
<version>2.6.5</version>
<depends>com.intellij.modules.ultimate</depends>
<depends>com.intellij.modules.java</depends>
<depends>Coverage</depends>
<depends>org.jetbrains.plugins.yaml</depends>
<vendor url="http://www.jetbrains.com/pycharm/" logo="/com/jetbrains/python/python.png">JetBrains, Keith Lea</vendor>
<helpset file="pythonpluginhelp.jar" path="/pycharm/Help.hs"/>