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