mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 0709ca8b077fd34f757a415e63911afa345b90d4) IDEA-CR-71087 GitOrigin-RevId: 452330bbaa830f06ec682141f3be61585ea7f870