mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 797380730f2d29967f6905344c3a837d947a8d7c) IJ-CR-163611 GitOrigin-RevId: dff10cdb909a92f40b673843aa64996d5d64083b