mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit deafeb85d62fbd9b3ec255c024c7c6f88f33ab7f) IJ-CR-150055 GitOrigin-RevId: e7c5497ba5b7eb06eaf431939d315a837d210b1d