mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit e01cb361b6800c5a7febef56b31704943751a703) IJ-CR-14255 GitOrigin-RevId: d276967a30d2d5e83aa955cc8330316127189736