mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 12880ed9794077b5f6ad185fe38c25113f1d53a2) (cherry picked from commit 14208dba7b101b9760f25156ce7253d9984453dd) IJ-MR-155570 GitOrigin-RevId: e1451e4e94dba8c97aaa46e50cca401919a2d357