mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit d6ba8400117c2a392e2d864116c5fc33dafb3a44) IJ-CR-148627 GitOrigin-RevId: 72a5ee9956403a1bf264f25bc2099fd1db5577af