mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit b0e9def53ddd557344125fc10f9e1b2d7bef344d) IJ-CR-179854 GitOrigin-RevId: 322448ed55f985425bf7f9db54008f07c3c2c844