mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
#IDEA-365697 (cherry picked from commit aa2ad1bac911848d963bb9102796d769cbec1e97) IJ-CR-155896 GitOrigin-RevId: 372d711bedd71f60b252b819abc10db2ed61fae3