mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 6877fc7b34622d7ae884233af96e06ea92c918c1) IJ-MR-161824 GitOrigin-RevId: 8c3219ea8bb8f547f7c314af8cb0d432c042cd7c