mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-02 04:35:22 +07:00
8 lines
267 B
XML
8 lines
267 B
XML
<idea-plugin>
|
|
<dependencies>
|
|
<plugin id="com.intellij.tasks"/>
|
|
</dependencies>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<tasks.repositoryType implementation="org.jetbrains.plugins.github.tasks.GithubRepositoryType"/>
|
|
</extensions>
|
|
</idea-plugin> |