mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Merge-request: IJ-MR-136218 Merged-by: Vanya Pavlov <Ivan.Pavlov@jetbrains.com> GitOrigin-RevId: a397fe0b55adb204002bd0330b71fb21acfebee8