mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-31 03:29:20 +07:00
(cherry picked from commit 11bc0dcd62d29f94270781ea5a79f4665575d0a9) (cherry picked from commit 03652b1251e91b2245979593f2fb47f734da8c68) IJ-MR-169535 GitOrigin-RevId: cd310f32c68c96d1cdb5cb81d67952c56c571933