mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
Merge-request: IJ-MR-116714 Merged-by: Andrey Cherkasov <Andrey.Cherkasov@jetbrains.com> GitOrigin-RevId: b1d06c88028fc2248ab63c8522dc67d7e4fa2e60