mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
NET-CR-15655 (cherry picked from commit a91301c6e711b42a7f7909782b0410e6c2ea3f34) GitOrigin-RevId: f44a2d89c70380c84436907223606ab5a53b0137