mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit a96eb77a54bf0df442ab9a2044f5bcc517007084) IJ-MR-172702 GitOrigin-RevId: 11338db7ce64d58bfe87e1972c2c0f4cfec484d3