mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit b356f47f7392e6f63fc9d9808650c8477c8078c9) IJ-CR-140104 GitOrigin-RevId: 74919a672b9429c5f22eed96b8f83e695f573ddb