mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 10:20:15 +07:00
8 lines
230 B
XML
8 lines
230 B
XML
<idea-plugin version="2">
|
|
<extensions defaultExtensionNs="org.jetbrains.plugins.terminal">
|
|
<localTerminalCustomizer implementation="com.jetbrains.python.sdk.PyVirtualEnvTerminalCustomizer"/>
|
|
</extensions>
|
|
|
|
|
|
</idea-plugin>
|