mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit 7eb80359b4d40f0b3bf567ae41816df8551e415a) IJ-MR-137084 GitOrigin-RevId: 9ba235fb3bd8bb9812a16806f534f09df74c9d5c