mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
Merge-request: IJ-MR-139501 Merged-by: Andrey Vorobev <Andrey.Vorobev@jetbrains.com> GitOrigin-RevId: cb4528978aa1dfb163066334cdf8ab723565fb7c