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