mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 08:00:18 +07:00
(cherry picked from commit e295fcdf12549f38f3462c9df03a1a0092e2cb48) IJ-CR-193658 GitOrigin-RevId: 397aad7dffb249847d3de6362643c54fae952f59