mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
29f0eb6c77
Merge-request: IJ-MR-116296 Merged-by: Vladimir Koshelev <Vladimir.Koshelev@jetbrains.com> GitOrigin-RevId: e7559fb3215d757e6273543e4aa27d52df755e63
11 lines
391 B
XML
11 lines
391 B
XML
<idea-plugin>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<fileType name="Python"
|
|
language="Python"
|
|
extensions="py;pyw"
|
|
hashBangs="python"
|
|
implementationClass="com.jetbrains.python.PythonFileType"
|
|
fieldName="INSTANCE"/>
|
|
<iconMapper mappingFile="PythonPsiApiIconMappings.json"/>
|
|
</extensions>
|
|
</idea-plugin> |