mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
(cherry picked from commit 76937e4de07193be94e352086ced5554029300e2) IJ-MR-15304 GitOrigin-RevId: fe3c12aba62e46627ebd4d6a446a1b02a072c87e