mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 12:14:37 +07:00
(cherry picked from commit c93fbd19e62615d0231ad6d9a1f7b3507906da60) IJ-CR-213418 GitOrigin-RevId: 6496888e1d81fee3d06c8eca8c3a7fa121ee9802