mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Signed-off-by: Nikita.Ashihmin <nikita.ashihmin@jetbrains.com> (cherry picked from commit 620fc7d0b285fa644d1d9b5e98e60111561472cf) GitOrigin-RevId: c95b12c4cae16f6a0a8434b584c3c4f1cdb45f9d