mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
^IDEA-272462 Fixed (cherry picked from commit 448fca6f1ece1feff32247dc5527bc3c92f00976) IJ-MR-10039 GitOrigin-RevId: ec9c0aa646e8369a42816bc0ed54dc541a9f001e