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