mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
IJI-1455 (cherry picked from commit 24db0490b9a6fc5d8dfabfd31580449e7cd64acf) GitOrigin-RevId: 8a0cfe2c3c8b7aee86f2275db3408f92cfef1219