mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit 7eb80359b4d40f0b3bf567ae41816df8551e415a) IJ-MR-137084 GitOrigin-RevId: 9ba235fb3bd8bb9812a16806f534f09df74c9d5c