mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(cherry picked from commit c11857dc34299b734a93acfbf035c2dcd5b36944) IJ-CR-149682 GitOrigin-RevId: e0263de6336c8078cd897d9c5b5365e618953540