mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
(cherry picked from commit f25950f279fe8243affe1bfd5d8ba8ecef692235) IJ-MR-194477 GitOrigin-RevId: 1adc74cd628a76dbbcc3e5f3cb0fd4f81daa933e