mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit b9fa759db14491bf5da717662dba08afc6988b27) IJ-CR-147409 GitOrigin-RevId: d6701aee8cae7b56e999963f8ae9f07ecc30d7eb