mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-23 07:39:39 +07:00
(cherry picked from commit 3f570872c6034c0b23b52d81d8780ac398646b05) IJ-MR-170061 GitOrigin-RevId: cb89aa5ac255c1a44d0eb08adc8600cc0f79e77c