mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 0120b11491d0b75d658d4b8b8cb15b4be9be77fc) IJ-CR-177911 GitOrigin-RevId: f3afed6e87be886064968073c28439fd854b4315