mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-13 14:36:58 +07:00
(cherry picked from commit a49863065bf26f615100b21f423a650cbebbcab3) IJ-MR-178978 GitOrigin-RevId: 4bf02cab1e94a2ab1aaa70cb0b4578688cea88b9