mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Co-authored-by: Sviatoslav Naiden <sviatoslav.naiden@jetbrains.com> Co-authored-by: Alexander Doroshko <alexander.doroshko@jetbrains.com> Merge-request: IJ-MR-190911 GitOrigin-RevId: 29f84bf771f6870ef9b45bdd5611d68420040f84