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