mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 3d91d2d1444dd8d682d866fd79a24a6851c6214b) (cherry picked from commit 3343a64ec240926532e793e16ace55be6bfe4010) IJ-CR-147319 GitOrigin-RevId: 304e4d25c5a2ee57333c4dccf641126ab55a0554