mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
#IJPL-238945 Fixed (cherry picked from commit 9d9bcf6f954668fade5c4f06d84bb1b252142dc2) IJ-CR-196693 GitOrigin-RevId: 57a385a12fbd29603615d4f7e003fb6189e27f82