MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-17 12:01:25 +07:00
Code Issues Packages Projects Releases Wiki Activity
458,929 Commits 21 Branches 8 Tags
a20761acd82c87531e130e0d99544b76e5f14e4e
Commit Graph

2 Commits

Author SHA1 Message Date
Mikhail Pyltsin
d64809acc7 [java-highlighting] IDEA-324586 Highlight duplicated values with casts in java 21. Fix for null 
GitOrigin-RevId: 85c0a0e8608267502c300b150fa9c5df23521efb
 2023-07-08 13:45:02 +00:00
Mikhail Pyltsin
4e03b09337 [java-highlighting] IDEA-324586 Highlight duplicated values with casts in java 21 
GitOrigin-RevId: 1a34f534b4850b8ae0ea2a0e1f373fa6b3b8b847
 2023-07-08 13:44:50 +00:00