mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 12:14:37 +07:00
- in the end, for the physical binary file, the language level would be calculated by the file itself, and for the source file, the navigation element should be the same file anyway ^KTIJ-33883 fixed KT-75830 GitOrigin-RevId: fece6faa6154eadfb6565ad3ae093c2e7840d31a