mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 02:09:59 +07:00
Signed-off-by: Nikita.Ashihmin <nikita.ashihmin@jetbrains.com> (cherry picked from commit 8d3ac8e7859c4d2c98dec0f2fe579e3233ea1f8a) GitOrigin-RevId: 85a4667c3ac5bf9a2e4cc2e394c4838839442649