mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Signed-off-by: Jakub Chrzanowski <jakub.chrzanowski@jetbrains.com> (cherry picked from commit cc26859af9b25f3cdfb9967d8d8501bd3131d379) IJ-CR-151317 GitOrigin-RevId: f28cb719fcd7a070ca356b8a430150b30f25e3e0