mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Merge-request: IJ-MR-109904 Merged-by: Vladimir Koshelev <Vladimir.Koshelev@jetbrains.com> GitOrigin-RevId: 8441ce35b2fc97fb0cdaf747feff2cf9ba3347ea