mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
(cherry picked from commit d1dc891c45ef3c55d69286026c8acc12c7717bc3) IJ-CR-166866 GitOrigin-RevId: b981b77897b3aaeb87fb9ae661d5e19541e839ba