MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-05-07 13:51:47 +07:00
Code Issues Packages Projects Releases Wiki Activity
357,765 Commits 23 Branches 8 Tags
c3a56381e7947c0413ab7331ef8b02b0f23c8b48
Commit Graph

1 Commits

Author SHA1 Message Date
Andrey.Cherkasov
0ad9f84d7e [java-highlighting] Provide fix "Remove switch label/branch" for "Label is dominated by a preceding case label " error 
IDEA-272296

GitOrigin-RevId: a70292dd55645854de65ebee4d5d0f8ed6c8958c
 2021-10-01 20:26:12 +00:00