mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-04 06:32:48 +07:00
Merge-request: IJ-MR-192603 Merged-by: Marcin Mikosik <marcin.mikosik@jetbrains.com> GitOrigin-RevId: 4bb9694a205ae7df7e0656064db0edc5f6c0f59e