MDS/openide
1
0 Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-11-07 01:06:03 +07:00
Code Issues Packages Projects Releases Wiki Activity
366,447 Commits 38 Branches 10 Tags
a028df8220485c19f85573e5fa595372c66287dd
Commit Graph
2 Commits
Author SHA1 Message Date
Anna Kozlova 9dd5c364a6 java sealed types: increase language level (IDEA-243474) 
ensure records can be used with java 15 as well

GitOrigin-RevId: 5716dddb35ad9b2349e6558460897d650740fe1c
 2020-06-14 22:02:45 +03:00
Tagir Valeev 618696f129 IDEA-239649 Increase language level fix is not suggested for records 
GitOrigin-RevId: 19843f9e1f610f7536b7e591012ec3eb64af6c43
 2020-04-30 06:26:10 +00:00