mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-25 02:21:17 +07:00
Fixes some of annoying cases like reported in IDEA-210010 GitOrigin-RevId: b083327807d85666d1f71f96a90d0eddd616754f
113 B
113 B