mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
Signed-off-by: Nikita.Ashihmin <nikita.ashihmin@jetbrains.com> (cherry picked from commit 4e8ab528aa3662c42d6c41b6c1f39082ba25e158) GitOrigin-RevId: 7ca223666398c0174dc849b7c242c63dc284a7cf