mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 13:39:36 +07:00
(cherry picked from commit d0e2c405ff0bec6fd9b677a55255929f8100217a) IJ-MR-158097 GitOrigin-RevId: f6cc0cc6d11e58b6ca897751a0f3f6236e7aae3e