mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit 1160ed19d25744b92f428fc372552d0321e5202a) IJ-CR-175144 GitOrigin-RevId: 25b0d648588f18b16be4ad8d1cd681a3ea6adeda
5 lines
234 B
XML
5 lines
234 B
XML
<idea-plugin>
|
|
<extensions defaultExtensionNs="com.intellij">
|
|
<registryKey key="java.highest.language.level" defaultValue="25" description="Highest released language level" restartRequired="false"/>
|
|
</extensions>
|
|
</idea-plugin> |