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