mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-03 15:50:52 +07:00
(cherry picked from commit 4e9a3f94cf1aedadd0b2c4699e168ccb3be0e405) IJ-CR-150708 GitOrigin-RevId: ced9d4595e513387ebf996bf8dd0894877ef0f3e