mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 21:57:41 +07:00
If you need venv, use `createVenv(sdk.asBinToExecute()`. GitOrigin-RevId: d2a2bd6df749ad22bf13496bd11595504a9da5cd
13 lines
510 B
XML
13 lines
510 B
XML
<idea-plugin visibility="public">
|
|
<dependencies>
|
|
<module name="intellij.python.community"/>
|
|
<module name="intellij.python.community.execService"/>
|
|
<module name="intellij.python.community.execService.python"/>
|
|
<module name="intellij.python.sdk"/>
|
|
<module name="intellij.python.common"/>
|
|
</dependencies>
|
|
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<python.common.toolToIconMapper implementation="com.intellij.python.venv.PyReqToolIdToIconMapper"/>
|
|
</extensions>
|
|
</idea-plugin> |