mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit f7cead47f32b2befeabe116a6c2df87682cb1cd2) IJ-CR-169010 GitOrigin-RevId: 036988a6259830532f2174c60c39996d71efe819