mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit f43b0685df3315a655efc292fbcc9b8ad765d1e3) IJ-CR-156677 GitOrigin-RevId: ba2fac60ffa67f818e8e3a1290cd7ba08cefe597