mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
(cherry picked from commit 04ee190f4491ce78e0a53622e75bcaeb41fa8370) IJ-MR-103609 GitOrigin-RevId: 0b3fc6a73b0f74021d4854fb2816b8de494806b8