mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
11 lines
474 B
XML
11 lines
474 B
XML
<idea-plugin>
|
|
<extensionPoints>
|
|
<extensionPoint qualifiedName="com.jetbrains.python.pythonHelpersLocator"
|
|
interface="com.intellij.python.community.helpersLocator.PythonHelpersLocator"
|
|
dynamic="true"/>
|
|
</extensionPoints>
|
|
<extensions defaultExtensionNs="com.jetbrains.python">
|
|
<pythonHelpersLocator implementation="com.intellij.python.community.helpersLocator.PythonHelpersLocatorDefault"/>
|
|
</extensions>
|
|
</idea-plugin>
|