mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
This reverts commit 20d138df183f8dfdb3121986498b080d4a61a171. #IDEA-363841 Fixed IJ-CR-152725 GitOrigin-RevId: 673890065431aa2aa17f4bb8cdfe52462078533a