mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
(cherry picked from commit e6eecfa890377ecd29d2ba42aef97873467e24c7) IJ-MR-159043 GitOrigin-RevId: 7f16e83dcb236cdda29e8d54e3d75c014377ab6e