mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit c6ae3528dea71309b005514ce1cb3d3b0a71bf72) IJ-CR-148073 GitOrigin-RevId: b7f8f59b84c7e1e1908fa51a5eb19d146cddffa3