mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 05:21:29 +07:00
(cherry picked from commit b8dfbe85a83faff8072fdd7d52d4336e2f6695b3) IJ-CR-193115 GitOrigin-RevId: 3b904a64f77ad3ee11b06567a2b7bd809e80f7ab