mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 00:40:28 +07:00
Merge-request: IJ-MR-144163 Merged-by: Pavel Karateev <Pavel.Karateev@jetbrains.com> GitOrigin-RevId: 352d1111988371b6edd9fa1af71b345dbb7aee38