mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit ff8a2a9d628140942ccb11d84c4aa4c2ced2df47) IJ-CR-147066 GitOrigin-RevId: 404efbcd84a9c45c34ed0039559de2c8d111a19e