mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 15:35:40 +07:00
Vladimir.Koshelevandintellij-monorepo-bot
c5b44ca085
It doesn't work. Sad, but true. GitOrigin-RevId: c6cf4f2971ce813a2ce18afb2dcee22c2c5dad75
11 lines
533 B
XML
11 lines
533 B
XML
<idea-plugin>
|
|
<dependencies>
|
|
<module name="intellij.python.community.impl"/>
|
|
<plugin id="tanvd.grazi"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="com.intellij.grazie">
|
|
<textExtractor language="Python" implementationClass="com.intellij.python.grazie.PythonTextExtractor"/>
|
|
<problemFilter language="Python" implementationClass="com.intellij.grazie.text.LiteralProblemFilter"/>
|
|
<problemFilter language="Python" implementationClass="com.intellij.python.grazie.PythonProblemFilter"/>
|
|
</extensions>
|
|
</idea-plugin> |