mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 171e5f63ef890ca06cff71633a53f66890844b99) IJ-MR-156140 GitOrigin-RevId: 8f007be05780ba4f988f06838747bbadc051131e