mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
IJI-2871 (cherry picked from commit e0fa992945ce465fe535b7db547606000a63e9fe) IJ-MR-174363 GitOrigin-RevId: b12750423c0a09f5f8f1cbf497ec98dad12b0712