mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit 717a2bc027eb523ee4534d409acbe76c8f1212d7) IJ-CR-24432 GitOrigin-RevId: 53b22943d56e3b38dc27d5c90a69b9a092666dd5