MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
ae4310982399050d26d70d3bd23563dd52549e31
openide/java/java-psi-api/resources
History
Mikhail Pyltsin 1063c3b546 [java] IDEA-379006 Bump Java language level to 25 for java plugin 
GitOrigin-RevId: 1160ed19d25744b92f428fc372552d0321e5202a
2025-09-10 11:58:31 +00:00
..
intellij.java.psi.xml
…