mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-18 17:20:54 +07:00
(cherry picked from commit b7f275347c6d89230c497a3806a3efee26850833) IJ-MR-182362 GitOrigin-RevId: ea857df39050863b5475063df902015cafeae7d2