mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
c23c78ac0d
This MR cherry picks changes done for PY-87723 and PY-87578 Merge-request: IJ-MR-193482 Merged-by: David Lysenko <david.lysenko@jetbrains.com> GitOrigin-RevId: c74229ed48ae8702667dda201613a2d0c3f25369
10 lines
387 B
XML
10 lines
387 B
XML
<idea-plugin visibility="internal">
|
|
<dependencies>
|
|
<module name="intellij.python.sdk"/>
|
|
<module name="intellij.python.processOutput.common"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<python.processOutput.common.processOutputIconMapping implementation="com.intellij.python.community.impl.pipenv.PipenvIconMapping"/>
|
|
</extensions>
|
|
</idea-plugin>
|