mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(cherry picked from commit 170504f056c2e5777415d66d6e5125d9865c9be6) IJ-CR-152693 GitOrigin-RevId: acf3e7fb3505fc2c3a10bb1e3f32674eeb91a100