mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 7501527e035c801643163dad2f1b0ad97c68b3a2) IJ-CR-121192 GitOrigin-RevId: e622c52c0dc8696db0256cda179218b34b8dd345