mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 03eef91339fe1a0f2c2a7936d6809b0cfce1c52d) IJ-CR-149616 GitOrigin-RevId: 10a49bd5dc9c8e6da37a9499df164a0184506516