mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit c67055425d685fa45993be6bd33a5bebaa2e23cc) IJ-MR-148062 GitOrigin-RevId: 6eac829771fc44e61ddac10c6006b48f87d4de25