mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
To ease the migration to an explicit plugin dependency in the future (cherry picked from commit e11b156081e50c072558b75285cdbe965e5db47f) IJ-MR-184154 GitOrigin-RevId: 60ff0daa18b45bd246e13ec832bdca2180eb18f0