mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
Co-authored-by: Vladislav Beskrovnyi <Vladislav.Beskrovny@jetbrains.com> Merge-request: IJ-MR-195274 Merged-by: Maksim Semenov <maksim.semenov@jetbrains.com> (cherry picked from commit 3f1a3e3b983f6282d381d87ee0e143d66b4c5f48) IJ-MR-195274 GitOrigin-RevId: 0566f9e519bb51d9c25f6d1976c89f04a9bfbc58