mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit cbc09391e73e67901c8969f369b2a6c770100477) IJ-CR-174595 GitOrigin-RevId: b067eee505377d4bcd479ef77c18ab86df9adf0b