mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 11:50:54 +07:00
(cherry picked from commit cd8644f5d9af800a474642fcf80f4e0690a30cae) IJ-CR-168634 GitOrigin-RevId: 10a194994ffa7a2669c7fcb11ebd6f4fc8728e74