mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Merge-request: IJ-MR-142996 Merged-by: Dmitrii Petukhov <dmitrii.petukhov@jetbrains.com> GitOrigin-RevId: 06bbd3499f083e54475b8c6fa5f1e4a7d65f32d2