mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 04:11:31 +07:00
(cherry picked from commit bf854f9581b9fb076cc689e33fae8e2c286e4c68) IJ-MR-194096 GitOrigin-RevId: c449b9595df75792c7f92fccee77603c4623e060
5 lines
254 B
XML
5 lines
254 B
XML
<idea-plugin visibility="public">
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<registryKey key="java.highest.language.level" defaultValue="26" description="Highest released language level" restartRequired="false"/>
|
|
</extensions>
|
|
</idea-plugin> |