mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
(cherry picked from commit 6ab36684299d9ea179ae5d212528050d09941236) IJ-CR-126053 GitOrigin-RevId: 9409dcdea2e4ed34dcd9916f510fbff1ed050b0b