mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit 7562bb688c2bf6e93bab7537113bb54246949006) IJ-CR-147994 GitOrigin-RevId: 07dc28c498da2f45ccf2dd0d88c9f603ddfb46b1