mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit dfb5a58fa9517cdf42c3fdf0eeff4c3b7f49ecf4) IJ-CR-158528 GitOrigin-RevId: b384ca19460bed23e5c0a7ae6cf0433e6ea3bc0d