MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-29 16:50:55 +07:00
Code Issues Packages Projects Releases Wiki Activity
471,813 Commits 16 Branches 7 Tags
251
Commit Graph

3 Commits

Author SHA1 Message Date
Tagir Valeev
7e1064ea3c [java-intentions] More preview tests; minor fixes 
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
 2022-07-29 17:55:13 +00:00
Andrey.Cherkasov
64323d8ab0 [java-highlighting] Change text of fix for duplicate interfaces implemented 
GitOrigin-RevId: a2b6f39e8722928193ff4c3ea9a65e4a9f041fd8
 2021-03-09 15:44:23 +00:00
Andrey.Cherkasov
ef728ffaca IDEA-216266 Provide fix for duplicate interfaces implemented 
GitOrigin-RevId: d2cd81109ec67d2bdc55dc85563ba52e547f72c9
 2021-02-16 14:40:13 +00:00