mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-12 13:40:19 +07:00
#IJPL-171448 Fixed #IDEA-362994 Fixed (cherry picked from commit fd879a9255358203b7c485c90fb7a576293b1eb3) IJ-CR-149798 GitOrigin-RevId: 1dd54eb556ff0fed79c92db5a3efa426a5f49ab6