mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 20:41:22 +07:00
Merge-request: IJ-MR-135226 Merged-by: Sviatoslav Vlasov <Sviatoslav.Vlasov@jetbrains.com> GitOrigin-RevId: b359204ec5eb54f0588b153bda85f7fb29fc9a8c