mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
closes https://github.com/JetBrains/intellij-community/pull/3192 GitOrigin-RevId: 0bc57a08f3390df7d3ceccbce653568b64330c36
closes https://github.com/JetBrains/intellij-community/pull/3192 GitOrigin-RevId: 0bc57a08f3390df7d3ceccbce653568b64330c36