mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Signed-off-by: Jakub Chrzanowski <jakub.chrzanowski@jetbrains.com> (cherry picked from commit e0896dcd132afef01f5a965ae4c67b81e270b968) IJ-CR-174725 GitOrigin-RevId: 90e533eeed10f3fd4092bc90e998118227c4fe0a