mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
IJ-CR-148020 (cherry picked from commit d1a449823a5c68a5ca82f16c12ccb5d938e70e79) GitOrigin-RevId: 378e3bd5c357a47dd1092c2c5a2ad2226c25f53e