mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Signed-off-by: Nikita.Ashihmin <nikita.ashihmin@jetbrains.com> Merge-request: IJ-MR-165494 Merged-by: Nikita Ashihmin <Nikita.Ashihmin@jetbrains.com> GitOrigin-RevId: fc852bf8db5ebda9a138c2b7cc2f096143adce7b