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