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