mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
#IDEA-369014 Fixed (cherry picked from commit a2623067c4695147ed23f10447796b7c7cfd2ef4) IJ-CR-158043 GitOrigin-RevId: 5f4bd80c644f2906e0cc86d69178c99e4e3b957e