mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
^IDEA-374608 fixed (cherry picked from commit c15be93e3abb8f6c12c5ac38ce8d4826c3b9e746) IJ-CR-166058 GitOrigin-RevId: ef70d3f04e5e8130bc026f7f89c703dfecd9f647