mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
IJ-CR-149484 (cherry picked from commit 1622f0a0bf63651c86cb9892d9e453dc35ecf07f) GitOrigin-RevId: 9e5c6f21979a4b28b1d42b42452ebfb8e12bd6b9