mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
Merge-request: IJ-MR-102462 Merged-by: Daniil Kalinin <Daniil.Kalinin@jetbrains.com> GitOrigin-RevId: c94b0d90288fd9ff10ef745273110eaaf628dd2e