mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Signed-off-by: Denes Daniel <pantherdd@gmail.com> closes https://github.com/JetBrains/intellij-community/pull/2679 GitOrigin-RevId: 451c197112ec512148ed749fc31b0c463b413d98