mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit af14927c6d2fe6794c8fb49994f539be1f0ef97f) IJ-CR-159281 GitOrigin-RevId: 6e7b3d90603eda734d7abfcbf24bbfda70117c3d