mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
- fix naming - adding Java: language level 25 (IDEA-369743) (cherry picked from commit a2b892eeedec3e4886fa2f040fb830a8412dc4ef) IJ-CR-166858 GitOrigin-RevId: 098f35e6ae33d93323a7029c7c832b68b359b84e