openide/plugins/devkit/devkit-java-tests/testData/codeInsight/pluginAttributes.xml at e5977a3ac551cdeac86d7932995937e166dbc0d8 - openide - Gitea

MDS/openide

mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-06 01:06:54 +07:00

Files

Yann Cébron 0aeb6c9163 [devkit] DOM: remove obsolete "on-demand" attribute (IDEA-297005)

GitOrigin-RevId: aca260207fa8830f5ea5e682b9b59a92ba2ba9cf

2024-04-04 12:29:40 +00:00

7 lines

226 B

XML

Raw Blame History

 <idea-plugin package="com.intellij"
              implementation-detail="false"
              allow-bundled-update="false"
              require-restart="false">
   <id>com.intellij</id>
   <vendor>JetBrains</vendor>
 </idea-plugin>