MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-13 15:52:01 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
252
openide/java/java-psi-api
History
Mikhail Pyltsin ffab857b53 [java] IDEA-379006 Bump Java language level to 25 for java plugin 
(cherry picked from commit 1160ed19d25744b92f428fc372552d0321e5202a)

IJ-CR-175144

GitOrigin-RevId: 25b0d648588f18b16be4ad8d1cd681a3ea6adeda
2025-09-11 13:50:13 +00:00
..
resources
[java] IDEA-379006 Bump Java language level to 25 for java plugin
2025-09-11 13:50:13 +00:00
src/com/intellij
georgii-ustinov/252/IDEA-168035
2025-09-10 15:01:55 +00:00
BUILD.bazel
IJ-MR-162467 don't export intellij.platform.core
2025-06-13 21:52:48 +00:00
intellij.java.psi.iml
IJ-MR-162467 don't export intellij.platform.core
2025-06-13 21:52:48 +00:00