mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-19 14:21:27 +07:00
Merge-request: IJ-MR-152214 Merged-by: Aleksandr Govenko <aleksandr.govenko@jetbrains.com> GitOrigin-RevId: 6c820545d05ae09ce87e15458a265f779d385146