mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-23 15:49:31 +07:00
Merge-request: IJ-MR-186465 Merged-by: Kirill Bochkarev <kirill.bochkarev@jetbrains.com> GitOrigin-RevId: 7a89b88a238fae6fc962f36a9b98335abf156eeb