mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 419a34390a9ebec91b14f420784c0b49c2449fe4) IJ-CR-172641 GitOrigin-RevId: a46cb9bc2f27c84904715362b49da46d984df774