mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 2e77a9d66f2acdeb68acd4dc1bcd4db8714eed62) IJ-CR-147430 GitOrigin-RevId: 207c14a8e372f30f6ee28cb6841c2a02a94d85c1