mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
(cherry picked from commit e56374d6355c41d66e41e2de4c2ca14431464537) IJ-CR-151551 GitOrigin-RevId: a18ab4cd13c6476dfff57f6cb62722f72c5dcb68