mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Merge-request: IJ-MR-145398 Merged-by: Dmitry Neverov <Dmitry.Neverov@jetbrains.com> GitOrigin-RevId: 87d6e850bab719fb7e7dbab1e9b251e565e2b88f