mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
#IDEA-381495 Fixed (cherry picked from commit 8851f6f0f2e2e095c3e2fe7b3c7ce96b6791ff74) IJ-CR-181127 GitOrigin-RevId: 3ea3e04973c94fd570ec73b6411ed9bc56dfce46