mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit 57e33eab36db7b015baf615735ba3e18fe4664fb) IJ-CR-146931 GitOrigin-RevId: 674086220222e889d7a89794fb8683067346cedb