mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 449fdf6cb9137b7dcd038adca7b26ffc15f7d59a) IJ-CR-150040 GitOrigin-RevId: 957b8f5555a16e1e4912bc19bfe9ff133715709b