mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
#IDEA-373936 fixed closes https://github.com/JetBrains/intellij-community/pull/3075 (cherry picked from commit fe3b036de7f23154be56f1116c58a0eef408c4dd) IJ-MR-164968 GitOrigin-RevId: b1f78464d8129718f9d5a479a099c173a640d174