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