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