mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit bd1dd3bfe58340be0057191768eba5dfc3751bb9) IJ-MR-134476 GitOrigin-RevId: e0dbfd6f418bbfbd1fc47f6db18be628ca21eeef