mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
For the highest language level, no API should be forbidden. #IDEA-349722 Fixed GitOrigin-RevId: 4819e096b798d4cc4b328cc85671a7180851b219