MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-07 19:36:56 +07:00
Code Issues Packages Projects Releases Wiki Activity
447,294 Commits 17 Branches 7 Tags
026a563625c53edc27feede594c1938cdd43446c
Commit Graph

2 Commits

Author SHA1 Message Date
Mikhail Pyltsin
ab14666e4e [java-highlighting] 'case default' is the incorrect syntax, and it was replaced with the proper 'default' syntax. 
GitOrigin-RevId: 72f8e7f6c9080db7cb0b89c0ed876eb949171e8f
 2023-07-14 16:14:45 +00:00
Andrey.Cherkasov
8e0a546003 Fixes after IJ-CR-12522 
GitOrigin-RevId: 828b51e578364351368a3bfa5456c5f58b6235f8
 2021-08-06 11:23:43 +00:00