mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Merge-request: IJ-MR-124964 Merged-by: Andrey Vorobev <Andrey.Vorobev@jetbrains.com> GitOrigin-RevId: 0fed4fc11d61f8e5619cab3e7f4a4b66224055b7