mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
(cherry picked from commit 73e4d785ed2e4aa247a5a5dd0f158701bbbee196) IJ-MR-4706 GitOrigin-RevId: 02c17f0a492647083df9fb6af0213a17d0406c8a