mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
(cherry picked from commit e56374d6355c41d66e41e2de4c2ca14431464537) IJ-CR-151551 GitOrigin-RevId: a18ab4cd13c6476dfff57f6cb62722f72c5dcb68