MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-05 18:50:54 +07:00
Code Issues Packages Projects Releases Wiki Activity
300,815 Commits 16 Branches 7 Tags
b5ae17aeda9f80149839416cd9643d259b4953da
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