mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
#IDEA-366120 #IJ-CR-155341 (cherry picked from commit b01f0abcffd15515cf4426c981b5a18ebde38d4f) GitOrigin-RevId: ed29102ebdb408ce321e7cd295615c30c14f9626