mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit 55027258a12caab87f2de999626eb18988da86f9) (cherry picked from commit 0de92aa97b172cfb62ef1c055d58bbcf1247a371) IJ-MR-155667 GitOrigin-RevId: 83ca27e0d368d4205f431bb8c1d38eec7897238a