mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit b044fee434c707575efe27bb383ef0e57747a347) IJ-MR-184472 GitOrigin-RevId: ec0c53e404f92c6b75753c8c79b6a2461c2ef461