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