mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:10:43 +07:00
(cherry picked from commit 1a72c5a070226925da44c61612ed6995fef7ba84) IJ-CR-151642 GitOrigin-RevId: d7a7d513843a85df4ac91cbab7f42d157ce6dd1a