mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-27 05:20:54 +07:00
#IDEA-369157 Fixed (cherry picked from commit 6e8de88250b26b51e2f603eb04d751e1ea086a29) IJ-CR-157703 GitOrigin-RevId: d7ec7c8e40e377d4e28c4f3f7b5b3d1944d6724c