mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
(cherry picked from commit b3f98e4a0bd692ca308f8dd7b09828a30d513fc9) IJ-CR-195914 GitOrigin-RevId: dd800d3c1ae046368bd474e084ccd4daa68b497e