mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
(cherry picked from commit 4088deee87ebf6d2ebf7d766f330e9874982562b) IJ-CR-168715 GitOrigin-RevId: 7783ccb1ccfb16b27a5f41a73a1bd8d67c1d7dfa