mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 17:52:27 +07:00
GitOrigin-RevId: 5dc7cb5b1b49dcec8586c0692d1bc4e23f9a321a
11 lines
463 B
XML
11 lines
463 B
XML
<idea-plugin>
|
|
<extensionPoints>
|
|
<extensionPoint qualifiedName="Pythonid.pythonSdkFlavor" interface="com.jetbrains.python.sdk.flavors.PythonSdkFlavor" dynamic="true"/>
|
|
<extensionPoint qualifiedName="Pythonid.pythonFlavorProvider"
|
|
interface="com.jetbrains.python.sdk.flavors.PythonFlavorProvider"
|
|
dynamic="true"/>
|
|
</extensionPoints>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
</extensions>
|
|
</idea-plugin>
|