mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Merge-request: IJ-MR-115088 Merged-by: Egor Ushakov <Egor.Ushakov@jetbrains.com> GitOrigin-RevId: d081ae2ad13cb9afe17844e4407c0c68187e32db