mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 09bc027bd4a98e3a4403fd924f2d3668e4a77240) IJ-MR-144496 GitOrigin-RevId: a9f3995cc1928aca28b9d99b4215fd92eead85b4