mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 12:31:26 +07:00
(cherry picked from commit a20918c975e3644d471b83b3a369bbe99063b065) IJ-MR-163093 GitOrigin-RevId: 1877da25878fd75e48a7d14fae270d75f660a564