MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-04 08:51:02 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
bc56e3da3b564eb129c1431f4b171c2bbd917f62
openide/java/java-psi-api
History
Mikhail Pyltsin f3a3a8d17c [java-highlighting] add comments for NON_SEALED 
GitOrigin-RevId: 1e0bb069d66ae36261f45f55aa31e112130b3190
2023-03-27 15:32:04 +00:00
..
resources/messages
[java] Better language level naming
2023-03-23 15:30:24 +00:00
src/com/intellij
[java-highlighting] add comments for NON_SEALED
2023-03-27 15:32:04 +00:00
intellij.java.psi.iml
Kotlin 1.8 language and API versions
2023-01-07 13:16:21 +00:00