mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 849204de72f847beca64996e25e421c53efa23ca) IJ-MR-174363 GitOrigin-RevId: 7215f59f16e655ede8d6dacb87afbaeac70aabf4