mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit f7652ac2dde099ac831ee52fa4b294824f3ad04e) IJ-CR-147430 GitOrigin-RevId: 70515cf607c54f69e20196657a8b344e8ef5f0c8