mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
^IDEA-370914 fixed (cherry picked from commit 894b7c3a4d036442887226d8613412ea03618142) IJ-CR-167309 GitOrigin-RevId: 5ae183f5a92c6e9d0d2948b15d534591fc1c0abb