mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit e419cdf1a090b1c5e791e1d2f0a7661ec4b2bf54) IJ-CR-193942 GitOrigin-RevId: 3df6a4b99f9f773b62cd7613fd0ea0b90cea676b