mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
(cherry picked from commit 80448a7a579ac0b1f6fe87cc311f1a5840caa7dc) IJ-CR-111687 GitOrigin-RevId: 79cb6cfa36776bf224c639f08fe1637e81fcec72