mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
(cherry picked from commit c8305e57d98f5ec11a57eda72551da6a00b2d810) IJ-CR-164284 GitOrigin-RevId: c6bfb75858e6e7980d01549920c3641881850251