mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
Signed-off-by: Sergey Pak <sergey.pak@jetbrains.com> (cherry picked from commit bbfaf6d10bd31b2b7f68d5178b0d2ede5cbdb324) Signed-off-by: Sergey Pak <sergey.pak@jetbrains.com> GitOrigin-RevId: 7777fef4cad239d7bf62799511d5708d02078834