mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-12 13:40:19 +07:00
(cherry picked from commit 1dd2997721d943b7a1c1d461a80a0eab6d68c4aa) IJ-CR-150932 GitOrigin-RevId: e3a549d20ecdbdfd1d738c91decc16464be91e2e