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