mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Merge-request: IJ-MR-135226 Merged-by: Sviatoslav Vlasov <Sviatoslav.Vlasov@jetbrains.com> GitOrigin-RevId: b359204ec5eb54f0588b153bda85f7fb29fc9a8c